Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN：3540104429
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Formal Models of Computation The Ultimate Limits of Computing
Arthur Fleck2001 年出版532 页ISBN：
THE LOGIC OF EQUALITY A FORMAL ANALYSIS OF NON-DISCRIMINATION LAW
ERIC HEINZE2003 年出版143 页ISBN：075462319x
CONFLICTING FORMS OF USE THE POTENTIAL OF AND LIMITS TO THE USE OF THE INTERNET AS A PUBLIC SPHERE
LEE SALTER2010 年出版304 页ISBN：3639315707
Introduction To The Formal Design of Real-Time Systems
1999 年出版461 页ISBN：3540761403
