Texts in Theoretical Computer Science. An EATCS Series

Roggenbach / Cerone / Schlingloff

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Languages, Methods, Application Domains

Fachbuch2023BuchSpringerISBN 978-3-030-38802-7

Roggenbach / Cerone / Schlingloff

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Languages, Methods, Application Domains

Fachbuch2022BuchSpringerISBN 978-3-030-38799-0

Roggenbach / Cerone / Schlingloff

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Languages, Methods, Application Domains

2022eBook (PDF mit Wasserzeichen)Springer Nature SwitzerlandISBN 978-3-030-38800-3

Badouel / Bernardinello / Darondeau

Petri Net Synthesis

Petri Net Synthesis

Petri Net Synthesis

2015eBook (PDF mit Wasserzeichen)Springer Berlin HeidelbergISBN 978-3-662-47967-4

Gorrieri / Versari

Introduction to Concurrency Theory

Introduction to Concurrency Theory

Introduction to Concurrency Theory

Transition Systems and CCS

Transition Systems and CCS

2015eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-21491-7

Bruni / Montanari

Models of Computation

Models of Computation

Models of Computation

2017eBook (PDF mit Wasserzeichen)Springer Nature SwitzerlandISBN 978-3-319-42900-7

Komm

An Introduction to Online Computation

An Introduction to Online Computation

An Introduction to Online Computation

Determinism, Randomization, Advice

Determinism, Randomization, Advice

2016eBook (PDF mit Wasserzeichen)Springer Nature SwitzerlandISBN 978-3-319-42749-2

Kroening / Strichman

Decision Procedures

Decision Procedures

Decision Procedures

An Algorithmic Point of View

An Algorithmic Point of View

2nd ed. 20162016eBook (PDF mit Wasserzeichen)Springer Berlin HeidelbergISBN 978-3-662-50497-0

2nd ed. 2016

Marchetti / Priami / Thanh

Simulation Algorithms for Computational Systems Biology

Simulation Algorithms for Computational Systems Biology

Simulation Algorithms for Computational Systems Biology

2017eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-319-63113-4