005.1
Ben-Ari, Mordechai.
Principles of the Spin Model Checker [electronic resource] /
/ by Mordechai Ben-Ari.
.- XVI, 220 p. 17 illus.. online resource.
QA76.758
ISBN: 9781846287701
10.1007/978-1-84628-770-1 doi
Subject Headings:
Computer science.;
Software engineering.;
Computer programming.;
Programming languages (Electronic computers).;
Operating systems (Computers).;
Computers.;
Computer logic.;
Computer Science.;
Software Engineering/Programming and Operating Systems.;
Programming Techniques.;
Programming Languages, Compilers, Interpreters.;
Operating Systems.;
Theory of Computation.;
Logics and Meanings of Programs.;
Copy Details:
Acc. No.: EBK3045, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------