wyszukanych pozycji: 10
Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783662544938 / Angielski / Miękka / 2017 / 444 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
194,97 zł |
Tests and Proofs: 18th International Conference, Tap 2024, Milan, Italy, September 9-10, 2024, Proceedings
ISBN: 9783031720437 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
506,99 zł |
Concise Guide to Software Verification: From Model Checking to Annotation Checking
ISBN: 9783031301667 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer the analysis...
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be u...
|
|
cena:
311,98 zł |
Concise Guide to Software Verification
ISBN: 9783031301698 / Angielski / Miękka / 2024 Termin realizacji zamówienia: ok. 20 dni roboczych. This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum: from abstract system design to implementation, from bug finding to full proofs, and from techniques that are push-button by design and give a yes/no answer to techniques that require the user to provide explicit guidance to steer... This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can b... |
|
cena:
233,97 zł |
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Co
ISBN: 9783031353543 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Componen...
|
|
cena:
272,98 zł |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013271212 / Angielski / Twarda / 2020 / 280 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
288,39 zł |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013271205 / Angielski / Miękka / 2020 / 280 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
229,69 zł |
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
ISBN: 9783030908690 / Angielski / Miękka / 2021 / 820 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
428,99 zł |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
ISBN: 9783540336891 / Angielski / Miękka / 2006 / 173 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices. This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interope... |
|
cena:
194,97 zł |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ISBN: 9783540242871 / Angielski / Miękka / 2005 / 258 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains a selection of refereed papers from participants of the workshop Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http: //www-sop.inria.fr/everest/events/cassis04/ The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique), Franceandthe UniversitydelaM editerran ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science....
This volume contains a selection of refereed papers from participants of the workshop Construction and Analysis of Safe, Secure and Interoperable Smar...
|
|
cena:
194,97 zł |