Formal Computer

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

The Handbook Of Formal Methods In Human-Computer Interaction

Formal Methods In Computer Science

Formal Languages And Computation

Formal Methods In Computer Science

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 Methods In Computer-Aided Design

Formal Models Of Computation: The Ultimate Limits Of Computing

Embedded Systems Design Based On Formal Models Of Computation

Formal Languages For Computer Simulation

Formal Languages And Computation

Formal Methods In Human-Computer Interaction

Formal Methods In Computer-Aided Design

Involution - The Formal Theory Of Differential Equations And Its Applications In Computer Algebra

Formal Methods In Human-Computer Interaction

Advances In Formal Design Methods For Cad : Proceedings Of The Ifip Wg5.2 Workshop On Formal Design Methods For Computer-Aided Design, June 1995 Paperback Book

Lectures On Formal Methods And Performance Analysis: First Eef/Euro Summer School On Trends In Computer Science Berg En Dal, The Netherlands, July 3-7, 2000. Revised Lectures

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 Models And Semantics, Volume B (Handbook Of 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)