Formal Computer

The Handbook Of Formal Methods In Human-Computer Interaction

Formal Methods In Computer Science

Formal Languages And Computation

Formal Methods In Computer-Aided Design

A Formal Model Of Visualization In Computer Graphics Systems

Formal Methods In Computer-Aided Design

Introduction To Formal Languages And Machine Computation, An

Formal Methods For Trustworthy Computer Systems (Fm89)

Formal Techniques For Computer Systems And Business Processes

Embedded Systems Design Based On Formal Models Of Computation

Formal Methods In Computer-Aided Design

Formal Models Of Computation: The Ultimate Limits Of Computing

Formal Methods In Computer-Aided Design

Formal Languages And Computation

Embedded Systems Design Based On Formal Models Of Computation

Formal Languages For Computer Simulation

Formal Methods In Human-Computer Interaction

Formal Design Methods For Cad: Proceedings Of The Ifip Tc5/Wg5.2 Workshop On Formal Design Methods For Cad, Tallinn, Estonia, 16-19 June 1994 (Ifip Transactions B: Computer Applications In Technology)

Formal Methods For Interactive Systems (Computers And People)

Formal Methods And Software Engineering: 10th International Conference On Formal Engineering Methods Icfem 2008, Kitakyushu-City, Japan, October ... 5256 (Lecture Notes In Computer Science)

Larch: Languages And Tools For Formal Specification (Monographs In Computer Science)

Formal Specification And Design (Cambridge Tracts In Theoretical Computer Science)

Formal Languages (Computer Science Classics)

Regulated Rewriting In Formal Language Theory (Eatcs Monographs On Theoretical Computer Science)

Fme '93: Industrial-Strength Formal Methods : First International Symposium Of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes In Computer Science, 670)

Understanding Z: A Specification Language And Its Formal Semantics (Cambridge Tracts In Theoretical Computer Science)

Models Of Computation And Formal Languages

Vdm 91: Formal Software Development Methods : 4th International Symposium Of Vdm Europe Noordwijkerhout, The Netherlands October 21-25, 1991 : Procee: 002 (Lecture Notes In Computer Science, 551-552)

An Introduction To Formal Specification And Z (Prentice-Hall International Series In Computer Science)