Formal Methods for Software Engineering

Name: Formal Methods for Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 9783030387990
Price: 46.5 EUR
Availability: InStock

Languages, Methods, Application Domains

Autor: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Jazyk:

Väzba: Pevná

Vydavateľ: Springer Nature Switzerland AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

46.50 €

This is a graduate-level introduction to formal methods. The first part presents two formal language...

Informácie o knihe

Autor

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2022

Stránok

524

EAN

9783030387990

Enbook ID

25351972

Vydavateľ

Springer Nature Switzerland AG

Hmotnosť

986

Rozmery

155 x 235 x 36

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež