topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Formal Methods for Industrial Critical Systems: 27th International Conference, Fmics 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
ISBN: 9783031150074 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.
The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which t...
|
cena:
272,98 zł |
 |
Logic Gates, Circuits, Processors, Compilers and Computers
ISBN: 9783030685522 / Angielski / Miękka / 2021 / 254 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
136,47 zł |
 |
Tales of Electrologica: Computers, Software and People
ISBN: 9783031130328 / Angielski / Twarda / 2023 / 201 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the values, which went without saying in the 1960s.To disagree,Paul Klintrelates the contrasting views on software...
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The ind...
|
cena:
136,47 zł |
 |
Understanding Behaviour of Distributed Systems Using mCRL2
ISBN: 9783031230073 / Angielski / Twarda / 2023 / 198 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.The underlying technique is based on verifying requirements through model checking. The book explains the...
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to...
|
cena:
702,00 zł |
 |
Tales of Electrologica: Computers, Software and People
ISBN: 9783031130359 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
136,47 zł |
 |
Modeling and Analysis of Communicating Systems
ISBN: 9780262547871 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
342,64 zł |
 |
Understanding Behaviour of Distributed Systems Using McRl2
ISBN: 9783031230103 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
702,00 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe
ISBN: 9783030720124 / Angielski / Miękka / 2021 / 465 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
155,97 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe
ISBN: 9783030720155 / Angielski / Miękka / 2021 / 471 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
155,97 zł |
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
