Unfoldings A Partial-Order Approach to Model Checking /

Unfoldings A Partial-Order Approach to Model Checking /

Bibliographic Details
Published in:Springer eBooks
Main Author: Esparza, Javier
Corporate Author: SpringerLink (Online service)
Other Authors: Heljanko, Keijo
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series:Monographs in Theoretical Computer Science An EATCS Series,
Subjects:
Information theory
Logic design
Software engineering
Computer Science
Logics and Meanings of Programs
Software Engineering
Theory of Computation
Online Access:http://dx.doi.org/10.1007/978-3-540-77426-6
Перейти в каталог НБ ТГУ
Description
ISBN:9783540774266
ISSN:1431-2654

Similar Items