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#.

�ber die Autorin bzw. den Autor

Flemming Nielson and Hanne Riis Nielson are full professors at the Technical University of Denmark (DTU), where they research formal methods for safe and secure systems in the Dept. of Applied Mathematics and Computer Science. They have written successful textbooks, including the Springer titles "Semantics with Applications: An Appetizer" and "Principles of Program Analysis", and they have lectured on these topics at Aalborg University, Aarhus University, the University of Kiel, Saarland University, and the Technical University of Denmark.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Brook Bookstore offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe and USA. Depending on availability orders will be picked from our different warehouses. CONTACT US If you have any questions please do not hesitate to contact us sending a message to our store. We have a well prepared customer service team who will be happy to assist you. Our working hours are from Monday to Friday from 9:30 to 18:30 (CET, UTC +1) so messages received during the weekends might be responded with a slight delay but we guarantee you will get back to you as soon as possible. RETURNS If you want to return your order, please submit your request through Abebooks platform. Returns requests are managed case by case by our team and always in line with Abebooks policies: AbeBooks? Return Policy guarantees that you can return any book for a refund within 30 days, when the return is due to an error on the bookseller?s part. When the motive of the return is not due to an error of the seller it is up to Brook Bookstore to accept the return or else after studying the case. CANCELLATION You can send a cancellation request to our customer service team while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case. INVOICE You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BRANDON GROUP S.R.L.
Via Vannella Gaetani 27, Napoli, NA, 80121, Italy

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

KONTAKT
Wenn Sie irgendwelche Fragen haben, z�gern Sie bitte nicht, uns �ber die Option "Kontaktieren Sie diesen Verk�ufer/ Stellen Sie eine Frage" zu kontaktieren. Wir haben ein gut vorbereitetes Kundendienstteam, das Ihnen gerne weiterhelfen wird. Unsere Arbeitszeiten sind von Montag bis Freitag von 9:30 bis 18:30 Uhr (CET, UTC +1), so dass Nachrichten, die an den Wochenenden eingehen, m�glicherweise mit einer leichten Verz�gerung beantwortet werden, aber wir garantieren Ihnen, dass wir uns so...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Versandkosten von Italien nach USA

Versandkosten von Italien nach USA
Bestellmenge	20 bis 25�Werktage	20 bis 25�Werktage
Erster Artikel	EUR 27.99	EUR 511.00

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer