Filter

Formale Methode

47 books found

Verification, model checking, and abstract interpretation
Verification, model checking, and abstract interpretation

by VMCAI 2004 (2004 Venice, Italy)

2004 2 ed.
Computer Safety, Reliability, and Security
Computer Safety, Reliability, and Security

by Janusz Górski

2006 2 ed.
Universal Semantic Communication
Universal Semantic Communication

by Brendan Juba

2011 2 ed.
Formal Methods for Components and Objects
Formal Methods for Components and Objects

by Frank S. de Boer

2010 2 ed.
Formal modeling and analysis of timed systems
Formal modeling and analysis of timed systems

by Wang Yi

2005 2 ed.
Language Engineering And Rigorous Software Development
Language Engineering And Rigorous Software Development

by Luis Soares Barbosa

2009 2 ed.
Programming Languages and Systems
Programming Languages and Systems

by Zhenjiang Hu

2009 2 ed.
Algorithmic bioprocesses
Algorithmic bioprocesses

by Anne Condon

2009 2 ed.
Formal methods in computer-aided design
Formal methods in computer-aided design

by FMCAD '98 (1998 Palo Alto, Calif.)

1998 1 ed.
Concurrency and hardware design
Concurrency and hardware design

by Grzegorz Rozenberg

2002 1 ed.
Logic, language, information, and computation
Logic, language, information, and computation

by Workshop on Logic, Language, Information and Computation (20th 2013 Darmstadt, Germany)

2013 1 ed.
Formal methods
Formal methods

by Keijiro Araki

2003 1 ed.
Formal methods at the crossroads
Formal methods at the crossroads

by Bernhard K. Aichernig

2003 1 ed.
Software engineering with abstractions
Software engineering with abstractions

by Valdis Andris Bērzin̦s̆

1991 1 ed.
Knowledge Representation for Agents and Multi-Agent Systems
Knowledge Representation for Agents and Multi-Agent Systems

by John-Jules Ch Meyer

2009 1 ed.
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems

by Joël Ouaknine

2009 1 ed.
On a method of multiprogramming
On a method of multiprogramming

by W.H.J. Feijen, A.J.M. van Gasteren

1999 1 ed.
Verification of object-oriented software
Verification of object-oriented software

by Bernhard Beckert

2007 1 ed.
Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
Semantics And Algebraic Specification Essays Dedicated To Pe...

by Jens Palsberg

2009 1 ed.
Logic of Programs (Lecture Notes in Computer Science)
Logic of Programs (Lecture Notes in Computer Science)

by E. Engeler

1981 1 ed.