Filters
Advanced Search Browse by Genre

Found 499 results for "Formal methods (Computer science)"

Invitation to Computer Science
Invitation to Computer Science

by G. Michael Schneider, Judith L. Gersting

1995 21 ed.
Computer science Java (Computer program la... C++ (Computer program lan...
Introduction to automata theory, languages, and computation
Introduction to automata theory, languages, and computation

by John E. Hopcroft, Jeffrey D. Ullman

1979 8 ed.
Computational complexity Formal languages Machine theory
Formal Methods in Computer Science
Formal Methods in Computer Science

by Jiacun Wang

2019 6 ed.
Computer science
Formal methods in human-computer interaction
Formal methods in human-computer interaction

by Harold Thimbleby

1990 2 ed.
Human-computer interactio... Computers, social aspects Formal methods (Computer ...
Formal Specification Using Z (Computer Science)
Formal Specification Using Z (Computer Science)

by David Lightfoot

1991 2 ed.
Z (computer program langu... Z (Computer program langu... Computer software
Formal methods in computing
Formal methods in computing

by Lajos Rónyai

2005 1 ed.
Formal methods (Computer ...
Formal methods in computer-aided design
Formal methods in computer-aided design
2002 1 ed.
Digital integrated circui... Design and construction Congresses
Formal Methods Foundations and Applications Lecture Notes in Computer Science
Formal Methods Foundations and Applications ...

by Jim Woodcock

2010 1 ed.
Logic design Information Systems Computer science
Formal methods for mobile computing
Formal methods for mobile computing

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th 2005 Bertinoro, Italy)

1899 1 ed.
Congresses Formal methods (Computer ... Mobile computing
Vdm 91: Formal Software Development Methods
Vdm 91: Formal Software Development Methods

by S. Prehn

1991 1 ed.
Formal methods
Formal methods

by Keijiro Araki, Stefania Gnesi

2003 1 ed.
Computer software Congresses Development
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science)
Formal Methods in Artificial Intelligence (Cambridge Tracts ...

by Allan Ramsay

1991 1 ed.
Artificial intelligence Computer science
Formal Methods for Components and Objects Lecture Notes in Computer Science
Formal Methods for Components and Objects ...

by Frank S. de Boer

2009 1 ed.
Logic design Operating systems (Comput... Software engineering
Formal methods for real-time computing
Formal methods for real-time computing

by Constance Heitmeyer, Dino Mandrioli

1996 1 ed.
Real-time data processing Formal methods (Computer ...
Formal methods in human-computer interaction
Formal methods in human-computer interaction

by Philippe Palanque

1998 1 ed.
Formal methods (Computer ... Human-computer interactio... World Wide Web
Formal Hardware Verification
Formal Hardware Verification

by Thomas Kropf

1997 1 ed.
Formal methods for software architectures
Formal methods for software architectures
2003 1 ed.
Computer systems Real-time data processing Congresses
Foundations of real-time computing
Foundations of real-time computing

by Gary M. Koob

1991 2 ed.
Real-time data processing
FM'99 - Formal Methods
FM'99 - Formal Methods

by World Congress on Formal Methods in the Development of Computing Systems

1999 1 ed.
Development Formal methods (Computer ... Congresses
FM'99--formal methods
FM'99--formal methods
1999 1 ed.
Development Formal methods (Computer ... Congresses