topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
LECTURES ON THE LOGIC OF COMPUTER PROGRAMMING
ISBN: 9780898711646 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
|
cena:
208,46 |
 |
The Temporal Logic of Reactive and Concurrent Systems: Specification
ISBN: 9780387976648 / Angielski / Twarda / 1991 / 427 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann...
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. ...
|
cena:
443,82 |
 |
The Temporal Logic of Reactive and Concurrent Systems: Specification
ISBN: 9781461269502 / Angielski / Miękka / 2012 / 427 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann...
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. ...
|
cena:
201,72 |
 |
Temporal Verification of Reactive Systems: Safety
ISBN: 9780387944593 / Angielski / Twarda / 1995 / 512 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing...
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as ...
|
cena:
403,47 |
 |
Mathematical Theory of Computation
ISBN: 9780486432380 / Angielski / Miękka / 2003 / 464 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students.
Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and... With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical as...
|
cena:
95,10 |
 |
Temporal Verification of Reactive Systems: Safety
ISBN: 9781461287018 / Angielski / Miękka / 2012 / 512 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing...
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as ...
|
cena:
443,82 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
