Tools and Algorithms for the Construction and Analysis of Systems
Contributors: Joost-Pieter Katoen (Editor); Perdita Stevens (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 29, 2002
Language: eng
Format: Paperback
Number of pages: 482
ISBN-13: 9783540434191
Subjects: Mathematical theory of computation; Programming - Systems Analysis & Design; General; System design; Software Development; Systems Analysis (Computer Science); Computers; Medical / Nursing; Programming - Software Development; Computer Books: General; Programming - General; Networking - General; Computers / Logic Design; Development Tools; Distributed Systems; Formal Methods; Formal Specification; Logics; Model Checking; Program Semantics; Computer software; Congresses; Development