Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods

An Appetizer

Flemming Nielson

Hanne Riis Nielson

Language

English

Book Hardback

Libristo code: 20556405

Publishers Springer Nature Switzerland AG, July 2019

This textbook is an introduction to the use of formal methods ranging from semantics of key programm... Full description

Libristo code: 20556405

146 b

21 441 Ft

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Photoshop: La guida completa per diventare un esperto nel fotoritocco digitale. Scopri tutte le tecniche per modificare immagini Daniel E. Miller

Paperback

4 881 Ft

Mi Planeta Alcoholico Raul Garcia-Rosas

Adobe ePub DRM

1 627 Ft

Der Gefürchtete, 2 Blu-ray (Mediabook Cover D) Roberto Mauri

Blu-ray

13 057 Ft

Leer my lees (Vlak 3 Boek 14): Tippie speel hy is siek (Skooluitgawe) Reinette Lombard

Adobe ePub DRM

823 Ft

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining chapters. These explain formal methods for analysing the behaviour of programs in various ways ranging from verification, via program analysis and language-based security, to model checking. The remaining chapters present language extensions with procedures and concurrency and cover their semantics. The book is suitable for advanced undergraduate and graduate courses in software development, and the text is supported throughout with exercises of varying grades of difficulty. The authors have developed an online learning environment that allows students to create examples beyond those covered in the main text, and in the book appendices they present programming projects aimed at implementing central parts of the development using the functional language F#.