SULJE VALIKKO

avaa valikko

Roggenbach Markus Roggenbach | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?



Formal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh
Springer (2022)
Kovakantinen kirja
73,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revis
Markus Roggenbach
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Software Engineering
Roggenbach Markus Roggenbach; Cerone Antonio Cerone; Schlingloff Bernd-Holger Schlingloff
Springer Nature B.V. (2022)
Pehmeäkantinen kirja
116,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh
Springer (2023)
Pehmeäkantinen kirja
54,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Algebra and Coalgebra in Computer Science - First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Procee
José Luis Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September
Phillip James; Markus Roggenbach
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain
Stefan Gruner; Apurva Kumar; Tom Maibaum; Markus Roggenbach
Springer (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods – Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selec
Antonio Cerone (ed.); Markus Roggenbach (ed.)
Springer (2021)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Anne E. Haxthausen (ed.); Wen-ling Huang (ed.); Markus Roggenbach (ed.)
Springer (2023)
Pehmeäkantinen kirja
65,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Software Engineering : Languages, Methods, Application Domains
73,70 €
Springer
Sivumäärä: 524 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2022, 23.06.2022 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series

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 Roggenbach is a Professor in the Dept. of Computer Science of Swansea University. Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan. Bernd-Holger Schlingloff is a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin. Gerardo Schneider is a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg. Siraj Ahmed Shaikh is a Professor in the Institute for Future Transport and Cities of Coventry University.

The companion site for the book offers additional resources, including further 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




Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods for Software Engineering : Languages, Methods, Application Domainszoom
Näytä kaikki tuotetiedot
ISBN:
9783030387990
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste