Mohlo by se vám také líbit

Více informací o knize Formal Methods for Software Engineering

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 110 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science

• Plný název: Formal Methods for Software Engineering
• Podnázev: Languages, Methods, Application Domains
• Autor: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 524
• EAN: 9783030387990
• ID: 25351972
• Nakladatelství: Springer Nature Switzerland AG
• Hmotnost: 986 g
• Rozměry: 235 × 155 × 36 mm
• Datum vydání: 23. June 2022

Oblíbené z jiného soudku

---

---

---