Zobacz książki o podobnej tematyce

Więcej informacji o Formal Methods for Software Engineering

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

Za ten zakup dostaniesz 225 punkty

Opis

This is a graduate-level introduction to formal methods. The first part presents two formal languages: logic, in various forms, and Communicating Sequential Process (CSP) as a process algebra. The second part offers specification and testing methods for formal development of software. Building on the foundations from the first part, the reader is allowed to embrace methods for practical applications. The reader will find the examples cutting across chapters valuable for this purpose. The final section takes the reader further into application domains.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science

• Pełny tytuł: Formal Methods for Software Engineering
• Podtytuł: Languages, Methods, Application Domains
• Autor: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 524
• EAN: 9783030387990
• ID: 25351972
• Wydawca: Springer Nature Switzerland AG
• Waga: 986 g
• Wymiary: 235 × 155 × 36 mm
• Data wydania: 23. June 2022

---

---

---