Mathematical structures for computer science

by Judith L. Gersting

Invitation to Computer Science

by G. Michael Schneider, Judith L. Gersting

Introduction to automata theory, languages, and computation

by John E. Hopcroft, Jeffrey D. Ullman

Ten years ago the authors undertook to produce a book covering the known material on formal languages, automata theory, ...

Formal Methods in Computer Science

by Jiacun Wang

Formal Specification Using Z (Computer Science)

by David Lightfoot

Z

by Antoni Diller

Z is a language, but knowing this does not tell you very much about it because there are many different kinds of languag...

Theory and Formal Methods of Computing 94

by England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate

Formal methods

by Paul Boca, J. P. Bowen

The Way of Z

by Jonathan Jacky

Formal methods apply logic and simple mathematics to programming.

Computer-aided reasoning

by Matt Kaufmann, Panagiotis Manolios

Formal methods in human-computer interaction

by Harold Thimbleby

Software engineering mathematics

by Jim Woodcock

Formal methods for hardware verification

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

Formal methods

by Keijiro Araki

Modern Formal Methods and Applications

by Hossam A. Gabbar

FME '93

by International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark), denmark International Symposium of Formal Methods Europe 1993 Odense

Development of any large computer system is difficult but formal methods like VDM have been shown to help control the de...

Software specification

by John D. Gannon, James M. Purtilo

Formal methods for components and objects

by Frank S. de Boer, Marcello M. Bonsangue

Computers in language research

by Walter A. Sedelow, Sally Yeates Sedelow

Foundations of real-time computing

by Gary M. Koob