005.1
Esparza, Javier.
Unfoldings : A Partial-Order Approach to Model Checking / [electronic resource] :
/ by Javier Esparza, Keijo Heljanko.
.- XII, 172 p. 51 illus.. online resource.
** Monographs in Theoretical Computer Science An EATCS Series, 1431-2654 )
QA76.758
- Monographs in Theoretical Computer Science An EATCS Series, .
ISBN: 9783540774266
10.1007/978-3-540-77426-6 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Computer Science.;
Software Engineering/Programming and Operating Systems.;
Logics and Meanings of Programs.;
Theory of Computation.;
Software Engineering.;
Author Added Entry:
Heljanko, Keijo.;
Copy Details:
Acc. No.: EBK3159, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------