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 Languages And Computation

A Formal Model Of Visualization In Computer Graphics Systems

Formal Methods In Computer-Aided Design

Formal Methods In Computer-Aided Design

Formal Techniques For Computer Systems And Business Processes

Formal Methods For Trustworthy Computer Systems (Fm89)

Embedded Systems Design Based On Formal Models Of Computation

Formal Methods In Computer-Aided Design

Formal Methods In Computer-Aided Design

Embedded Systems Design Based On Formal Models Of Computation

Formal Languages For Computer Simulation

Formal Methods In Computer-Aided Design

Formal Methods In Human-Computer Interaction

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

Formal Methods In Human-Computer Interaction

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

Computer-Aided Reasoning: An Approach: Acl2 Studies Pt. 1 (Advances In Formal Methods)

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)

Picture Languages: Formal Models For Picture Recognition (Computer Science And Applied Mathematics)

Formal Methods For Interactive Systems (Computers And People)

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

Industrial Applications Of Formal Methods To Model, Design And Analyze Computer Systems

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

Varieties Of Formal Languages (Foundations Of Computer Science)

Theory Of Automata, Formal Languages And Computation (As Per Uptu Syllabus)

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)

Formal Specification Using Z. (Computer Science)

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)

Formal Models Of Computation: The Ultimate Limits Of Computing

Formal Languages And Computation

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

Current Trends In Theoretical Computer Science: The Challenge Of The New Century - Volume 2: Formal Models And Semantics

Software Prototyping, Formal Methods, And Vdm (International Computer Science Series)

Formal Techniques In Artificial Intelligence: A Sourcebook (Studies In Computer Science And Artificial Intelligence)

Logic Programming: Formal Methods And Practical Applications (Studies In Computer Science & Artifical Intelligence)