Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Language EnglishEnglish
Book Hardback
Book Formal Methods for Software Engineering Markus Roggenbach
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
? points 110 b
44.99 € VAT included
In stock at our supplier Shipping in 10-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Le côté de la mer - quotidien et imaginaire aux îles Tonga, Polynésie occidentale Bataille-Benguigui Book Paperback
common.buy 29.69 €
Diagnostic stratégique - 7e éd. Olivier Meier / Book Paperback
common.buy 34.49 €
10 Ideen mit denen du die Umwelt schützen kannst Clarissa Corradin / Book Hardback
common.buy 12.95 €
VIAJES MUY EXTRAORDINARIOS DE SATURNINO FARANDOUL. SU EXCELE ROBIDA / Book Paperback
common.buy 23.19 €
Vortice del Macbeth Lear, schiavo d'amore, AmletOne! Tre riscritture shakespeariane per Marcido Marcidorjs e Famosa Mimosa Marco Isidori / Book Paperback
common.buy 28.69 €
Rodina a škola Pracovní sešit 2 Cemerková Golová Petra / Book Paperback
common.buy 1.79 €
Penser la monnaie et la finance avec Marx Orléan / Book Paperback
common.buy 20.89 €
Pâtisserie simplement naturelle Benoît Castel / Book Hardback
common.buy 25.89 €
Si Jamais Sauzet / Book Paperback
common.buy 14.89 €
Koszulka na dokumenty A4 100 sztuk krystaliczna / Stationery items Stationery items
common.buy 3.89 €
Las ciudades del absolutismo Víctor Manuel Mínguez Cornelles / Book Paperback
common.buy 38.39 €
de l'Organisation de la Fraternite, Ou d'Une Constitution Sociale A Donner Aux Peuples Desjardins-G / Book Paperback
common.buy 16.39 €
Pozvání k překladatelské praxi Veronika Havlíková / Book Paperback
common.buy 7.89 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Software Engineering
Author Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Language English
Binding Book - Hardback
Date of issue 2022
Number of pages 524
EAN 9783030387990
Libristo code 25351972
Publishers Springer Nature Switzerland AG
Weight 986
Dimensions 155 x 235 x 36

Categories

Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Affordable
Learning Hebrew: A Guide to the Hebrew Language and Grammar Pirchei Shoshanim / Book Paperback
common.buy 5.89 €
Infectious Laryngo Tracheitis Virus in Chicken Puvarajan Boovalingam / Book Paperback
common.buy 224.39 €
Serious Thoughts Occasioned by the Late Earthquake at Lisbon. John Wesley / Book Paperback
common.buy 14.49 €
Our First Fun Day at Preschool! Victoria Trotman Smith / Book Paperback
common.buy 10.69 €
Alfred Hitchcock. The Complete Films Paul Duncan / Book Hardback
common.buy 25.19 €
The War and Elizabeth (1918) Mrs Humphry Ward / Book Paperback
common.buy 27.49 €
Dime Show Review, Volume 2, Issue 2 Kae Sable / Book Paperback
common.buy 19.19 €
Unbelievable? BRIERLEY JUSTIN / Book Paperback
common.buy 10.49 €
Improving Sustainable Viticulture and Winemaking Practices Miguel Costa / Book Paperback
common.buy 180.99 €
Going Up the River Joseph T. Hallinan / Book Paperback
common.buy 14.29 €
Highways and Hierarchies Galen Murton / Book Hardback
common.buy 178.99 €
Del Svono De'Tremori Armonici E Dell'Vdito (1679) Daniello Bartoli / Book Paperback
common.buy 26.69 €
My Love Story!!, Vol. 2 Kazune Kawahara / Book Paperback
common.buy 8.59 €
Ragnar A.K. Frisch, Jan Tinbergen and Lawrence R. Klein Howard R. Vane / Book Hardback
common.buy 286.09 €
Walks and Rambles on Cape Cod and the Islands N. Friary / Book Paperback
common.buy 13.39 €
Project X Code: Pyramid Peril Into the Pyramid Tony Bradman / Book Paperback
common.buy 10.29 €
Graph Theory Adrian Bondy / Book Hardback
common.buy 51.79 €
Oxford IB Diploma Programme: Philosophy: Being Human Course Book Nancy Le Nezet / Book Paperback
common.buy 70.99 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?