Formal Computer

Models Of Computation And Formal Languages

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

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

Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report (Lecture Notes In Computer Science)

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

Introduction To Formal Language Theory (Addison-Wesley Series In Computer Science)

Juggling Formal Methods And Security: Essays Dedicated To Sjouke Mauw On The Occasion Of His 65th Birthday (Lecture Notes In Computer Science, 16365)

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