Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Software Engineering

Name: Formal Methods for Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 25351972
Price: 50.46 EUR
Availability: InStock
Author: Markus Roggenbach
ISBN: 9783030387990

Languages, Methods, Application Domains

Markus Roggenbach

Antonio Cerone

Bernd-Holger Schlingloff

Gerardo Schneider

Siraj Ahmed Shaikh

Language

English

Book Hardback

Libristo code: 25351972

Publishers Springer Nature Switzerland AG, June 2022

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

Libristo code: 25351972

122 b

50.46 €

In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G

Paperback

18.43 €

Pâtisserie simplement naturelle Benoît Castel

Hardback

31.10 €

10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin

Hardback

11.04 €

Si Jamais Sauzet

Paperback

18.33 €

Koszulka na dokumenty A4 100 sztuk krystaliczna

Stationery items

2.83 €

Rodina a škola Pracovní sešit 2 Cemerková Golová Petra

Paperback

2.12 €

Pozvání k překladatelské praxi Veronika Havlíková

Paperback

8.30 €

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.