Free delivery for orders over 69.99€

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

Free delivery for purchases over 69.99 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Formal Methods for Software Engineering

Name: Formal Methods for Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 25351972
Price: 50.32 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.32 €

98.42 лв

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Pâtisserie simplement naturelle Benoît Castel

Hardback

32.01 € 62.61 лв

VIAJES MUY EXTRAORDINARIOS DE SATURNINO FARANDOUL. SU EXCELE ROBIDA

Paperback

27.56 € 53.91 лв

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

Hardback

11.79 € 23.05 лв

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

Paperback

2.06 € 4.04 лв

Si Jamais Sauzet

Paperback

18.77 € 36.71 лв

Koszulka na dokumenty A4 100 sztuk krystaliczna

Stationery items

5.06 € 9.90 лв

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

Paperback

18.41 € 36.00 лв

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

Paperback

8.74 € 17.09 лв

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.