Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Methods for Software Engineering

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 116 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science

• Celý názov: Formal Methods for Software Engineering
• Podnázov: Languages, Methods, Application Domains
• Autor: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 524
• EAN: 9783030387990
• ID: 25351972
• Nakladateľ: Springer Nature Switzerland AG
• Hmotnosť: 986 g
• Rozmery: 235 × 155 × 36 mm
• Dátum vydania: 23. June 2022

Obľúbené z iného súdka

---

---

---