Könyv: Termékek Formal Modeling and Analysis of Timed Systems (ISBN: 9783030001506) — Formal Techniques for Distributed Objects, Components, and Systems - Catuscia Palamidessi, Erika Ábrahám (ISBN: 9783662436127)
Formal Modeling and Analysis of Timed Systems (ISBN: 9783030001506)
Formal Modeling and Analysis of Timed Systems (ISBN: 9783319105116)
Formal Modeling and Analysis of Timed Systems (ISBN: 9783319229744)
Formal Modeling and Analysis of Timed Systems (ISBN: 9783319448770)
Formal Modeling and Analysis of Timed Systems - Alessandro Abate, Gilles Geeraerts (ISBN: 9783319657646)
Formal Modeling and Analysis of Timed Systems - Eugene Asarin, Patricia Bouyer (2006)
Formal Modeling and Verification of Cyber-Physical Systems (ISBN: 9783658099930)
Formal Modeling in Social Science (ISBN: 9780472054237)
Formal Modeling in Social Science (ISBN: 9780472074235)
Formal Modelling in Electronic Commerce (ISBN: 9783642435614)
Formal Models and Techniques for Analyzing Security Protocols (ISBN: 9781601989024)
Formal Models in the Study of Language (ISBN: 9783319488318)
Formal Models of Operating System Kernels (2010)
Formal Models of Operating System Kernels (ISBN: 9781846283758)
Formal Ontologies Meet Industry (ISBN: 9783319215440)
Formal Ontology (ISBN: 9789048147182)
Formal Ontology and Conceptual Realism (2007)
Formal Ontology and Conceptual Realism (ISBN: 9789048175659)
Formal Organizations: A Comparative Approach (ISBN: 9780804748902)
Formal Organizations: A Comparative Approach (ISBN: 9781258227470)
Formal Philosophy - Vincent F. Hendricks, John Symons (ISBN: 9788799101306)
Formal Pragmatics (ISBN: 9780631201212)
Formal Refinement for Operating System Kernels (2007)
Formal Refinement for Operating System Kernels (2010)
Formal Salutations: New & Selected Poems (ISBN: 9781939574268)
Formal Semantics for VHDL (2012)
Formal Specification Level (ISBN: 9783319378824)
Formal SQL Tuning for Oracle Databases - Leonid Nossov, Hanno Ernst, Victor Chupis (ISBN: 9783662504161)
Formal Studies in Slavic Linguistics (ISBN: 9781443817165)
Formal System Verification (ISBN: 9783319576831)
Formal Techniques for Computer Systems and Business Processes - Mario Bravetti, Leila Kloul, Gianluigi Zavattaro (2005)
Formal Techniques for Data Base Design - Erich J. Neuhold (2012)
Formal Techniques for Distributed Objects, Components, and Systems (ISBN: 9783319191942)
Formal Techniques for Distributed Objects, Components, and Systems (ISBN: 9783319602240)
Formal Techniques for Distributed Objects, Components, and Systems - Catuscia Palamidessi, Erika Ábrahám (ISBN: 9783662436127)