Data Refinement : Model-Oriented Proof Methods and their Comparison
Engelhardt, Kai de Roever, Willem-Paul
Produseres på bestilling
Leveringstid: 3-10 dager
Handlinger
Beskrivelse
Omtale
Graduate text in formal methods in computer science.
-
Utgivelsesdato:
03.12.1998
-
ISBN/Varenr:
9780521641708
-
Språk:
Engelsk
-
Forlag:
Cambridge University Press
-
Innbinding:
Innbundet
-
Fagtema:
Data- og informasjonsteknologi
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
Faglitteratur
-
Sider:
436
-
Høyde:
23.6 cm
-
Bredde:
15.9 cm
Andre bøker i samme serie
Syntax and Semantics of Petri Nets
Gorrieri, Roberto
9781009613286 Innbundet
31.08.2025
Engelsk
Forventes utgitt
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Adamek, Jiri • Milius, Stefan • Moss, Lawrence S.
9781108835466 Innbundet
06.02.2025
Engelsk
Produseres på bestilling
Topological Duality for Distributive Lattices : Theory and Applications
Gehrke, Mai • van Gool, Sam
9781009349697 Innbundet
07.03.2024
Engelsk
I salg
Finite-State Techniques : Automata, Transducers and Bimachines
Schulz, Klaus U. • Mihov, Stoyan
9781108485418 Innbundet
01.08.2019
Engelsk
I salg
Introduction to Coalgebra : Towards Mathematics of States and Observation
Jacobs, Bart
9781107177895 Innbundet
27.10.2016
Engelsk
Produseres på bestilling
Temporal Logics in Computer Science : Finite-State Systems
Lange, Martin • Goranko, Valentin • Demri, Stephane , Paris)
9781107028364 Innbundet
13.10.2016
Engelsk
I salg
Nominal Sets : Names and Symmetry in Computer Science
Pitts, Andrew M.
9781107017788 Innbundet
30.05.2013
Engelsk
Produseres på bestilling
Process Algebra: Equational Theories of Communicating Processes
Baeten, J. C. M. • Basten, T. • Reniers, M. A.
9780521820493 Innbundet
16.12.2009
Engelsk
Produseres på bestilling
Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de • Lakhnech, Yassine • Roever, Willem-Paul de • Hanneman, Ulrich • Poel, Mannes • Hooman, Jozef • Zwiers, Job
9780521806084 Innbundet
26.11.2001
Engelsk
Produseres på bestilling
Andre bøker av samme forfatter
Data Refinement : Model-Oriented Proof Methods and their Comparison
Engelhardt, Kai • de Roever, Willem-Paul
9780521103503 Heftet
18.12.2008
Engelsk
Produseres på bestilling