Your search returned 10 results.

Results
			No cover image available APPLICATIONS OF FORMAL METHODS by HINCHEY, M.G.:BOWEN, J.P Language: English Publication details: PRENTICE HALL : NEWYORK ; 1995 Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.1 H35. Place hold Add to cart (remove)
			No cover image available APPLICATIONS OF FORMAL METHODS by HINCHEY,M. & BOWEN, J. (ED.) Language: English Publication details: LONDON : PRINTICE HALL ; 1995 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 A66. Place hold Add to cart (remove)
			No cover image available Applied Formal Methods- FM - Trends 98 : Lecture Notes in Computer Science by Hutter, D.: (et-al) Language: English Publication details: Springer: Tokyo ; 1998 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 H87. Place hold Add to cart (remove)
			No cover image available FME 2001 Formal Methods for increasing software productivity :Lecture notes in computer science:Proceedings by Oliveira, J.N. : Zave, Pam(Eds) Language: English Publication details: Springer: Tokyo ; 2001 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 O43. Place hold Add to cart (remove)
			No cover image available FME 97 : Industrial Applications and Strengthened Foundations of Formal Methods : Lecture Notes in Computer Science by Fitzgerald, J.: Jones, C.B.: Lucas, P Language: English Publication details: Springer: Tokyo ; 1997 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 F37. Place hold Add to cart (remove)
			No cover image available Forrmal Methods for industrial applications :Specifying and programming the Steam Boiler Control : lecture notes in computer science :( With CD) by Abrial, Jean-Raymond (et-al) (Ed.) Language: English Publication details: Springer: ; 1996 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 F56. Place hold Add to cart (remove)
			No cover image available Integrated formal methods : Lecture notes in computer science : Proceedings by Grieskamp, W. (et-al)(Eds.) Language: English Publication details: Springer: Tokyo ; 2000 Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.12 I57. Place hold Add to cart (remove)
			No cover image available AN INTRODUCTION TO FORMAL LANGUAGES AND AUTOMATA by LINZ P Edition: 2nd ed. Language: English Publication details: INDIA : PRENTICE HALL ; 1997 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.131 L35. Place hold Add to cart (remove)
			AN INTRODUCTION TO FORMAL METHODS by DILLER , ANTONI Language: English Publication details: NEW YORK : JOHN WILEY ; 1990 Availability: Items available for loan: UCSC Library (1)Collection, call number: Lending Collection 005.12 D34. Place hold Add to cart (remove)
			No cover image available The Z Formal Specification Notation : Lecture Notes in Computer Science : Proceedings by Bowen, J.P.: Hinchey, M.G. : Till, D Language: English Publication details: Springer: Tokyo ; 1997 Availability: Items available for loan: UCSC Library (1)Collection, call number: Reference Collection 005.12 B59. Place hold Add to cart (remove)

© 2026 All rights reserved. UCSC