Image from Google Jackets

Normal view MARC view ISBD view

Principle of Model Checking

By:

"Christel Baier, Joost-Pieter Katoen"

Publication details: London The MIT Press 2008ISBN:

9780262026499

DDC classification:

004.24

Holdings ( 1 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University of Information Technology LIB-AW	004.24 (Browse shelf(Opens below))	Available		E1346

Browsing University of Information Technology shelves, Shelving location: LIB-AW Close shelf browser (Hides shelf browser)

Previous	No cover image available							Next
Previous	004.0684 The Adventures of an IT Leader	004.21 Systems Analysis & Design Methods	004.22 SOA : Principle of Service Design	004.24 Principle of Model Checking	004.24 The Art of Computer Systems Performance Analysis : Techniques for Experimental Design , Measurement, Simulation,and Modeling	004.36 Service - Oriented Architecture : Concepts, Technology, and Design	005.1 Software Engineering : Theory and Practice	Next

Implemented & Customized by: BestBookBuddies

Powered by Koha