Zobacz książki o podobnej tematyce

Więcej informacji o Integrated Formal Methods

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 238 punkty

Opis

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Programming & scripting languages: general

• Pełny tytuł: Integrated Formal Methods
• Podtytuł: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
• Autor: Erika Ábrahám, Marieke Huisman
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 538
• EAN: 9783319336923
• ISBN: 3319336924
• ID: 02975401
• Wydawca: Springer International Publishing AG
• Waga: 8248 g
• Wymiary: 235 × 155 × 29 mm
• Data wydania: 24. May 2016

Ulubione w innej kategorii

---

---

---