Modern Formal Methods and Applications /

Contributor(s):

Publication details: Notherland: Springer, 2006.Description: xxiii, 197p 20.5 x 27 cmISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Book	Air University Multan Campus Library	Computer Science	005.13 GAB-M (Browse shelf(Opens below))	Available	P005062

Browsing Air University Multan Campus Library shelves,Collection: Computer Science Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.12 FOR-H Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures	005.12 IRA-M Modern Data Architecture on AWS: A Practical Guide for Building Next-Gen Data Platforms on AWS	005.13 DAL A Laboratory Course in C++	005.13 GAB-M Modern Formal Methods and Applications /	005.13 MAT-I Idiomatic Rust : Code like a Rustacean /	005.13 NAG Professional C# 2008	005.13 SCO Programming Language Pragmatics	Next

Includes index.

There are no comments on this title.

to post a comment.