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.
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.
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.
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.