wyszukanych pozycji: 33
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
ISBN: 9783031197550 / Angielski / Miękka / 2022 / 427 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
|
cena:
270,48 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal
ISBN: 9783030614669 / Angielski / Miękka / 2020 / 490 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
ISBN: 9783031197611 / Angielski / Miękka / 2022 / 424 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
|
cena:
251,16 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo
ISBN: 9783030837228 / Angielski / Miękka / 2021 / 263 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
ISBN: 9783031198489 / Angielski / Miękka / 2022 / 598 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
|
cena:
328,45 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application
ISBN: 9783030613617 / Angielski / Miękka / 2020 / 582 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
328,45 zł |
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
ISBN: 9783540610427 / Angielski / Miękka / 1996 / 443 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs. This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems,...
|
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
ISBN: 9783031197581 / Angielski / Miękka / 2022 / 474 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
|
cena:
270,48 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications
ISBN: 9783030614690 / Angielski / Miękka / 2020 / 544 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ISBN: 9783642340314 / Angielski / Miękka / 2012 / 361 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Vali...
|
|
cena:
193,19 zł |
Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain
ISBN: 9783540213055 / Angielski / Miękka / 2004 / 389 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004. The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully reviewed and selected from a total of 98 submissions. The papers are organized in topical sections on objects and aspects, smart cards, components, security and web services, modeling and requirements, testing, and model checking and analysis.
This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held ...
|
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im
ISBN: 9783662452332 / Angielski / Miękka / 2014 / 547 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line...
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Forma...
|
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20
ISBN: 9783662452301 / Angielski / Miękka / 2014 / 644 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line...
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Forma...
|
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem
ISBN: 9783030034207 / Angielski / Miękka / 2018 / 496 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-
ISBN: 9783642340253 / Angielski / Miękka / 2012 / 617 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata... The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of...
|
|
cena:
193,19 zł |
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere
ISBN: 9783540418658 / Angielski / Miękka / 2001 / 594 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques... This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysi...
|
|
cena:
386,41 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus
ISBN: 9783030034269 / Angielski / Miękka / 2018 / 530 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20
ISBN: 9783319471686 / Angielski / Miękka / 2016 / 866 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November
ISBN: 9783030034177 / Angielski / Miękka / 2018 / 588 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
193,19 zł |
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion
ISBN: 9783642165573 / Angielski / Miękka / 2010 / 708 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, C...
|
|
cena:
386,41 zł |