topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 238
 |
Tampering With The Cross: Subtitle: Where Every Member Testifies
ISBN: 9798231089628 / Angielski / Miękka / 2025 / 504 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
228,10 |
 |
Corpora Delicti
ISBN: 9781934081532 / Angielski / Miękka / 2017 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
77,00 |
 |
The Temporal Logic of Reactive and Concurrent Systems: Specification
ISBN: 9780387976648 / Angielski / Twarda / 1991 / 427 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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:
458,38 |
 |
Mind Fuck
ISBN: 9781934081082 / Angielski / Miękka / 2007 / 264 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. There are no bad guys or good guys. There are only better guys and worse guys. One of the worse guys is Val Toreth. In a world in which torture is a legitimate part of the investigative process, he works for the Investigation and Interrogation Division, where his colleagues can be more dangerous than the criminals he investigates. One of the better guys is Keir Warrick. His small corporation, SimTech, is developing a "sim" system that places users in a fully immersive virtual reality. A minnow in a murky and dangerous pond, he is only beginning to discover how many compromises may be required...
There are no bad guys or good guys. There are only better guys and worse guys. One of the worse guys is Val Toreth. In a world in which torture is a l...
|
cena:
77,00 |
 |
Blood & Circuses
ISBN: 9781934081495 / Angielski / Miękka / 2015 / 290 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
77,00 |
 |
Games & Players
ISBN: 9781934081105 / Angielski / Miękka / 2008 / 228 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
77,00 |
 |
The Temporal Logic of Reactive and Concurrent Systems: Specification
ISBN: 9781461269502 / Angielski / Miękka / 2012 / 427 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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:
208,33 |
 |
Quis Custodiet
ISBN: 9781934081129 / Angielski / Miękka / 2009 / 247 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
77,00 |
 |
Compagni d'avventura
ISBN: 9798190102673 / Włoski / Miękka / 2026 / 40 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
49,32 |
 |
Temporal Verification of Reactive Systems: Safety
ISBN: 9780387944593 / Angielski / Twarda / 1995 / 512 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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:
416,70 |
 |
Temporal Verification of Reactive Systems: Safety
ISBN: 9781461287018 / Angielski / Miękka / 2012 / 512 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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:
458,38 |
 |
Elias: The Quest for Meaning
ISBN: 9798337917702 / Angielski / Miękka / 2024 / 104 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
24,60 |
 |
Mega in Patmos: The Island of The Apocalypse
ISBN: 9798172366734 / Angielski / Miękka / 2026 / 48 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
57,83 |
|
A Nonfiction Narrative: Car-type UFOs. Are the Highways and Streets Safe?
ISBN: 9798854073714 / Angielski / Miękka / 2023 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
51,29 |
 |
Something From Nothing: The Early History of West Calaveras County
ISBN: 9781687041111 / Angielski / Miękka / 2020 / 340 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
128,33 |
 |
Glorious Trees: Alfred Russel Wallace in California
ISBN: 9781545034842 / Angielski / Miękka / 2017 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
128,12 |
 |
Cosmic Discoveries
ISBN: 9798890661661 / Angielski / Miękka / 2023 / 106 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
82,09 |
 |
Napule e dintorni: 'E ll'ammore ca resta 'int' 'o core
ISBN: 9798265579485 / Włoski / Miękka / 2025 / 350 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
111,22 |
 |
Educare Al Rispetto E All'amore: per le persone, l'ambiente, le cose e noi stessi
ISBN: 9798299434804 / Włoski / Miękka / 2025 / 322 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
111,22 |
 |
Heart of the Circus
ISBN: 9789393712127 / Angielski / Miękka / 2022 / 220 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
61,07 |
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
