Code: 25351972

Formal Methods for Software Engineering

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

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

Language: English
Binding: Hardback
Number of pages: 524
Publisher: Springer Nature Switzerland AG, 2022
More about this

47.80 €

RRP: 47.81 €

You save 0.01 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Learning Hebrew: A Guide to the Hebrew Language and Grammar
9.77 € -6 %
Buy
My Love Story!!, Vol. 2
9.27 € -25 %
Buy
Alfred Hitchcock. The Complete Films
32.17 € -15 %
Buy
Pozvání k překladatelské praxi
7.96 € -16 %
Buy
Oxford IB Diploma Programme: Philosophy: Being Human Course Book
79.37 €
Buy
Unbelievable?
11.29 € -25 %
Buy
Rodina a škola Pracovní sešit 2
1.60 € -34 %
Buy
Graph Theory
55.36 € -9 %
Buy
Koszulka na dokumenty A4 100 sztuk krystaliczna
2.81 € -5 %
Buy
10 Ideen mit denen du die Umwelt schützen kannst
10.98 € -15 %
Buy
Project X Code: Pyramid Peril Into the Pyramid
11.59 €
Buy
Infectious Laryngo Tracheitis Virus in Chicken
60.31 € -14 %
Buy
Improving Sustainable Viticulture and Winemaking Practices
190.73 €
Buy
Pâtisserie simplement naturelle
30.96 €
Buy
Del Svono De'Tremori Armonici E Dell'Vdito (1679)
29.95 € -2 %
Buy
Serious Thoughts Occasioned by the Late Earthquake at Lisbon.
15.42 € -2 %
Buy
Si Jamais
18.35 €
Buy
de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples
17.44 € -1 %
Buy
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein
275.66 €
Buy
Walks and Rambles on Cape Cod and the Islands
15.32 € -18 %
Buy
Going Up the River
15.32 € -18 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods for Software Engineering

Book details
Synopsis
Trending among others

You get 116 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science

47.80 €

Full title: Formal Methods for Software Engineering
Subtitle: Languages, Methods, Application Domains
Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Language: English
Binding: Hardback
Number of pages: 524
EAN: 9783030387990
ID: 25351972
Publisher: Springer Nature Switzerland AG
Weight: 986 g
Dimensions: 235 × 155 × 36 mm
Date of publishing: 23. June 2022