Formal methods for software engineering : languages, methods, application domains / Markus Roggenbach [and four others].

Format
Book
Language
English
Published/​Created
  • Cham, Switzerland : Springer International Publishing, [2022]
  • ©2022
Description
1 online resource (537 pages)

Details

Subject(s)
Author
Series
Texts in Theoretical Computer Science. an EATCS Ser. [More in this series]
Notes
Description based upon print version of record.
Source of description
Description based on print version record.
ISBN
3-030-38800-X
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view

Supplementary Information