wyszukanych pozycji: 38
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:
192,30 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:
192,30 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus
ISBN: 9783030034238 / Angielski / Miękka / 2018 / 522 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
192,30 zł |
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso
ISBN: 9783030891589 / Angielski / Miękka / 2021 / 518 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.
The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software... This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings origin... |
|
cena:
269,23 zł |
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ISBN: 9783030223472 / Angielski / Miękka / 2019 / 431 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
192,30 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co
ISBN: 9783319471655 / Angielski / Miękka / 2016 / 974 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
384,63 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15,
ISBN: 9783540884781 / Angielski / Miękka / 2008 / 884 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13-15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues...
This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verific...
|
|
cena:
576,96 zł |
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,
ISBN: 9783642165603 / Angielski / Miękka / 2010 / 498 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:
192,30 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:
192,30 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:
192,30 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:
384,63 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:
192,30 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:
192,30 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:
192,30 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:
384,63 zł |
Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013, Proceedings
ISBN: 9783642393358 / Angielski / Miękka / 2013 / 235 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book contains the refereed proceedings of the 4th International Conference on Software Business (ICSOB) held in Potsdam, Germany, in June 2013. The theme of the event was "From Physical Products to Software Services and Solutions."The 15 full papers, seven short papers, and six doctoral symposium papers accepted for ICSOB were selected from 44 submissions and are organized in sections on: software business models and business process modeling; IT markets and software industry; IT within organizations; software product management; cloud computing; entrepreneurship and startup... This book contains the refereed proceedings of the 4th International Conference on Software Business (ICSOB) held in Potsdam, Germany, in June 2013... |
|
cena:
176,95 zł |
Engineering of Computer-Based Systems: 8th International Conference, Ecbs 2023, V?ster?s, Sweden, October 16-18, 2023, Proceedings
ISBN: 9783031492518 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
223,07 zł |
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
ISBN: 9783540425410 / Angielski / Miękka / 2001 / 488 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the CHARME series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior...
This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Meth...
|
|
cena:
192,30 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:
192,30 zł |
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,
ISBN: 9783031753862 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
253,84 zł |