About this book series

Texts published in this series are intended mostly for the graduate level. Typically, an undergraduate background in computer science will be assumed. However, the background required varies from topic to topic, and some books are self-contained. The texts cover both modern and classical areas with an innovative approach that may give them additional value as monographs. Most books in this series have examples and exercises.

Series Editors: Juraj Hromkovič (ETH Zürich), Mogens Nielsen (Aarhus University)

Advisory Board: S. Albers, H. Attiya, G. Ausiello, M. Broy, C. Calude, A. Condon, A. Czumaj, P. Degano, J. Diaz, P. Gastin, G. Gottlob, D. Harel, J. Hartmanis, R. Heckel, L.A. Hemaspaandra, T. Henzinger, M. Hermenegildo, B. Jonsson, J. Karhumäki, L. Kari, M. Koutny, D. Kozen, T. Leighton, H. Lin, G. Mauri, D. Niwiński, C. Papadimitriou, D. Peleg, D. Sannella, U. Schöning, D. Scott, P.G. Spirakis, D. Wagner, E. Welzl, M. Wirsing

Founding Editors: W. Brauer, G. Rozenberg, A. Salomaa

Electronic ISSN
1862-4502
Print ISSN
1862-4499
Series Editor
  • Juraj Hromkovič,
  • Mogens Nielsen

Book titles in this series

  1. Formal Methods for Software Engineering

    Languages, Methods, Application Domains

    Authors:
    • Markus Roggenbach
    • Antonio Cerone
    • Bernd-Holger Schlingloff
    • Gerardo Schneider
    • Copyright: 2022

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  2. Models of Computation

    Authors:
    • Roberto Bruni
    • Ugo Montanari
    • Copyright: 2017

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  3. Decision Procedures

    An Algorithmic Point of View

    Authors:
    • Daniel Kroening
    • Ofer Strichman
    • Copyright: 2016

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Abstracted and indexed in

  1. DBLP
  2. zbMATH