Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Correct System Design: Recent Insights and Advances
ISBN: 9783540666240 / Angielski / Miękka / 1999 / 422 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different...
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-cri...
|
cena:
201,72 |
 |
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
ISBN: 9783030913830 / Angielski / Miękka / 2021 / 232 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
262,25 |
 |
Real-Time Systems: Formal Specification and Automatic Verification
ISBN: 9780521883337 / Angielski / Twarda / 2008 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for...
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 millisecon...
|
cena:
389,07 |
 |
Provably Correct Systems
ISBN: 9783319486277 / Angielski / Twarda / 2017 / 328 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within... As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ens... |
cena:
403,47 |
 |
Provably Correct Systems
ISBN: 9783319839806 / Angielski / Miękka / 2018 / 328 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 |
 |
Verification of Sequential and Concurrent Programs
ISBN: 9781447125136 / Angielski / Miękka / 2012 / 502 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and...
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap...
|
cena:
322,77 |
 |
Verification of Sequential and Concurrent Programs
ISBN: 9781848827448 / Angielski / Twarda / 2009 / 502 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and...
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The ap...
|
cena:
403,47 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
