NUST Institutions Library Catalogue catalog › Results of search for 'ccl=(su:"Formal methods Computer science")'

Search

Your search returned 4 results.

Not what you expected? Check for suggestions

		Agent technology from a formal perspective Christopher A. Rouff with Michael Hinchey by Rouff, Chris, 1960- \| Hinchey, Michael G, 1969-. Publisher: New York ; London : Springer, 2006Availability: Items available for loan: Central Library (CL)Call number: 006.3 ROU (1). Place hold Find in NUST Repository
		Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.). by Bernardo, Marco \| Corradini, Flavio. Publisher: Berlin ; New York : Springer, c2004Other title: SRM-RT 2004.Online access: Publisher description Availability: Items available for loan: Military College of Signals (MCS)Call number: 004.33 BER (1). Place hold Find in NUST Repository
		Understanding formal methods / written and translated by Jean Fran�cois Monin ; translation editor, Michael G. Hinchey. by Monin, Jean Fran�cois \| Hinchey, Michael G, 1969-. Publisher: London ; New York : Springer, c2003Online access: Publisher description \| Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.131,MON (1). Checked out (1). Place hold Find in NUST Repository
		Z : an introduction to formal methods / Antoni Diller. by Diller, Antoni. Edition: 2nd ed. Publisher: Chichester, West Sussex, England ; New York : Wiley & Sons, 1994Online access: Publisher description \| Table of Contents Availability: No items available : Checked out (1). Place hold Find in NUST Repository

© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.