Formal Methods for Software Engineering

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

Languages, Methods, Application Domains

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

Język:

Oprawa: Twarda

Wydawca: Springer Nature Switzerland AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

188.89 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2022

strony

524

EAN

9783030387990

Enbook ID

25351972

Wydawca

Springer Nature Switzerland AG

Waga

986

Wymiary

155 x 235 x 36

Pełny 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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również