Principles of the Spin model checker

Saved in:
Bibliographic Details
Main Author: Ben-Ari, M.
Format: Unknown
Published: London Springer 2008
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-422332
020 # # |a 9781846287695 (pbk.) 
020 # # |a 1846287693 (pbk.) 
040 # # |a UKM  |d ITMB 
090 0 0 |a QA76.76.V47  |b B46 2008 
100 1 # |a Ben-Ari, M. 
245 1 0 |a Principles of the Spin model checker  |c Mordechai Ben-Ari 
260 # # |a London  |b Springer  |c 2008 
300 # # |a xv, 216 p.  |b ill.  |c 24 cm 
504 # # |a Includes bibliographical references (p. [209]-210) and index 
650 # 0 |a Computer software  |x Verification 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=422332 
964 # # |c BOK  |d CS 
998 # # |a 00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||