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

Formal Methods For Trustworthy Computer Systems (Fm89)

Embedded Systems Design Based On Formal Models Of Computation

Formal Techniques For Computer Systems And Business Processes

Formal Methods In Computer-Aided Design

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 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

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

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

Specification And Transformation Of Programs: A Formal Approach To Software Development (Texts & Monographs In Computer Science)

A Formalisation Of Design Methods: Lambda-Calculus Approach To System Design With An Application To Text Editing (Ellis Horwood Series In Computers And Their Applications)

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)

Data Structure Choice Formal Differentiation Two Papers On Very High Level Program Optimization: Courant Computer Science Report #15 (Classic Reprint)

Formal Methods For Interactive Systems (Computers And People)

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

Syntax-Directed Semantics: Formal Models Based On Tree Transducers (Monographs In Theoretical Computer Science. An Eatcs Series)

Formal Models And Semantics, Volume B (Handbook Of Theoretical Computer Science)

An Introduction To Formal Language Theory (Monographs In Computer Science)

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

Handbook Of Theoretical Computer Science. Volume A: Algorithms And Complexity. Volume B: Formal Models And Semantics. Two-Volume Set

Formal Methods In Programming And Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes In Computer Science, 735)

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)

First Course In Formal Language Theory (Computer Science Texts)

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)

Vdm 91: Formal Software Development Methods : Proceedings (Lecture Notes In Computer Science)