Verifying temporal properties of systems

Verifying temporal properties of systems

Bibliographic Details
Main Author:	Bradfield, Julian Charles (Author)
Format:	Book
Language:	English
Published:	Boston Birkhauser 1992
Series:	Progress in theoretical computer science
Subjects:	ΕΣΑ Συστήματα

Similar Items

Advanced compiler design and implementation
by: Muchnick, Steven S.
Published: (1997)

Publisher 2000 Get professional results
by: Parker, Roger C.
Published: (2000)

Subrecursive Programming Systems Complexity and Succinctness
by: Case, John, et al.
Published: (1994)

Database Management Systems
by: Ramakrishnan, Raghu
Published: (1998)

The design and analysis of algorithms
by: Kozen, Dexter C.
Published: (1992)

Poisson Approximation
by: Barbour, A. D., et al.
Published: (1992)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
by: Gramss, Tino
Published: (1998)

A Textbook of Graph Theory
by: Balakrishnan, R. (Rangaswami), et al.
Published: (2000)

Μάθετε το SuSE Linux σε 24 ώρες
by: Ball, Bill
Published: (2000)

Algorithms A functional programming approach
by: Rabhi, Fethi, et al.
Published: (1999)

FrontPage 98 bible
by: Elderbrock, David, et al.
Published: (1998)

Principles and Practice of Constraint Programming The Newport Papers
Published: (1995)

Introduction to Mathematical Physics
by: Harper, Charlie
Published: (1995)

Physics
by: Resnick, Robert, 1923-, et al.
Published: (1966)

Physics
by: Resnick, Robert, 1923-, et al.
Published: (1962)

Exploring discrete mathematics with maple
by: Devitt, John S., et al.
Published: (1997)

Treewidth Computations and Approximations
by: Kloks, Ton
Published: (1994)

Quantum computing and communications
Published: (1999)

Principles of transaction processing
by: Bernstein, Philip A., et al.
Published: (1997)

Game Theory A nontechnical introduction
by: Davis, Morton D.
Published: (1983)

Designing and building parallel programs Concepts and tools for parallel software engineering
Published: (1995)

A course in game theory
by: Osborne, Martin J., et al.
Published: (1994)

Concurrent programming
by: Snow, C.R
Published: (1992)

Logic and computation Interactive Proof with Cambridge LCF
by: Paulson, Lawrence C.
Published: (1987)

The logic programming paradigm A 25-year perspective
Published: (1999)

outlook 98 in 24 hours SAMS teach yourself
by: Nicholson, John R.
Published: (1998)

Microsoft outlook 98 at a glance
by: Nelson, Stephen L.
Published: (1998)

Structured development of parallel programs
by: Pelagatti, Susanna
Published: (1998)

Practical parallel programming
by: Wilson, Gregory V.
Published: (1995)

Statistical Mechanics
by: Huang, Kerson, 1928-
Published: (1987)

Linear Programming
by: Chvatal, Vasek
Published: (1983)

Garbage collection Algorithms for automatic dynamic memory management
by: Jones, Richard, et al.
Published: (1996)

The Psychology of Proof Deductive Reasoning in Human Thinking
by: Rips, Lance J.
Published: (1994)

Semantics and Logic of Computation

Handbook of proof theory
Published: (1998)

Algebra An approach via module theory
by: Adkins, William A., et al.
Published: (1992)

Graph theory
by: Diestel, Reinhard
Published: (2000)

Ο οδηγος της Microsoft για το PowerPoint 97
by: Sagman, Stephen W.
Published: (1997)

Verification of sequential and concurrent programs
by: Apt, Krzysztof
Published: (1997)

Algebra
by: Lang, Serge, 1927-2005
Published: (1993)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_2db66090vu7couu43er068olan