Temporal verification of reactive systems Safety

Temporal verification of reactive systems Safety

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Manna, Zohar (Συγγραφέας), Pnueli, Amir (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Springer-Verlag c1995
Θέματα:	COMPUTER SOFTWARE ΕΠΕΑΕΚ

Παρόμοια τεκμήρια

Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
ανά: Godefroid, Patrice
Έκδοση: (1996)

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Έκδοση: (1991)

Software metrics for product assessment
ανά: Bache, Richard, κ.ά.
Έκδοση: (1994)

Software Metrics A rigorous and practical approach
ανά: Fenton, Norman E., κ.ά.
Έκδοση: (1996)

Applying software metrics
ανά: Oman, Paul, κ.ά.
Έκδοση: (1997)

ISO 9000 for Software Developers
ανά: Schmauch, Charles H.
Έκδοση: (1995)

Logic synthesis and verification algorithms
ανά: Hatchtel, Gary D., κ.ά.
Έκδοση: (1996)

Assesment and control of software risks
ανά: Jones, Capers
Έκδοση: (1994)

The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992)

Higher order logic and harware verification
ανά: Melham, T.
Έκδοση: (1993)

Introduction to computer system performance evaluation
ανά: Kant, K., κ.ά.
Έκδοση: (1992)

Embedded systems design
ανά: Heath, Steve
Έκδοση: (1997)

Spread spectrum systems with commercial applications
ανά: Dixon, Robert C.
Έκδοση: (1994)

Arithmetic built-in sel-test for embedded systems
ανά: Rajski, Janusz, κ.ά.
Έκδοση: (1998)

Software engineering economics
ανά: Boehm, Barry W.
Έκδοση: (1981)

Advanced Techniques for embedded systems design adn test
Έκδοση: (1998)

Alpha Implementations and Architecture Complete Reference and Guide
ανά: Bhandarkar, Dileep P.
Έκδοση: (1996)

The Architecture of Computer Hardware and Systems Software An Information Technology approach
ανά: Englander, Irv
Έκδοση: (1996)

Computer organization and design The hardware/software interface
ανά: Hennessy, John L., κ.ά.
Έκδοση: (1998)

Simulation Modeling and Analysis
ανά: Law, Averill M., κ.ά.
Έκδοση: (2000)

Advanced low-power digital circuit techniques
ανά: Abu-Khater, Issam S., κ.ά.
Έκδοση: (1997)

Universal wireless personal communications
ανά: Prasad, Ramjee
Έκδοση: (1998)

Introduction to circuit complexity A uniform approach
ανά: Vollmer, Heribert
Έκδοση: (1999)

Learning DCOM
ανά: Thai, Thuan L.
Έκδοση: (1999)

Linux application development
ανά: Johnson, Michael K., κ.ά.
Έκδοση: (1998)

Optimization and dynamical systems
ανά: Helmke, Uwe, κ.ά.
Έκδοση: (1994)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Measuring programmer productivity and software quality
ανά: Arthur, Lowell Jay
Έκδοση: (1985)

Lessons in Estimation Theory for signal Processing, Communications and Control
ανά: Mendel, Jerry M.
Έκδοση: (1995)

Broadband Communications
ανά: Kumar, Balaji
Έκδοση: (1998)

DSP First A Multimedia Approach
ανά: McClellan, James H., 1947-, κ.ά.
Έκδοση: (1998)

Modern Control Theory
ανά: Brogan, William L.
Έκδοση: (1991)

Quality is still free Making quality certain in uncertain times
ανά: Crosby, Philip B.
Έκδοση: (1996)

The cache memory book
ανά: Handy, Jim
Έκδοση: (1998)

Matrix perturbation theory
ανά: Sun, Ji-guang, κ.ά.
Έκδοση: (1990)

Parallel Programming in Open MP
ανά: Chandra, Rohit, κ.ά.
Έκδοση: (2001)

Parallel Programming Techniques and applications using networked workstations and parallel computers
ανά: Wilkinson, Barry, κ.ά.
Έκδοση: (1999)

Win32 System Programming
Έκδοση: (1997)

Advanced animation and rendering techniques Theory and practice
ανά: Watt, Alan, κ.ά.
Έκδοση: (1998)

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