Formal Methods for Software Engineering

Language: English

Published by Springer, Springer Jun 2022, 2022

3030387992 / 9783030387990

Series: Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS

  • Hardcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

View this seller's items
Hardcover

Condition: New

US$ 100.92

US$ 26.33 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.Topics and features: Explains foundations, and introduces specification, verification, and testing methods Exploresvarious application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods.Markus Roggenbachis a Professor in the Dept. of Computer Science of Swansea University.Antonio Ceroneis an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.Bernd-Holger Schlingloffis a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin.Gerardo Schneideris a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg.Siraj Ahmed Shaikhis a Professor in the Institute for Future Transport and Cities of Coventry University.The companion site for the book offers additional resources, includingfurther material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book.The URL is:https://sefm-book.github.io 556 pp. Englisch.

Seller Inventory # 9783030387990

Title
Formal Methods for Software Engineering
Author
Markus Roggenbach
Publisher
Springer, Springer Jun 2022
Publication year
2022
Condition
Neu
Binding
Buch
Language
English
ISBN 10
3030387992
ISBN 13
9783030387990
Item weight
992 grams
Dimensions
241x160x36 mm
Series
Book 45 of 45: Texts in Theoretical Computer Science. An EATCS

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First itemUS$ 26.33US$ 26.33
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany