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

  3. Models of Computation

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

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  4. Decision Procedures

    An Algorithmic Point of View

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

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  7. Petri Net Synthesis

    Authors:
    • Eric Badouel
    • Luca Bernardinello
    • Philippe Darondeau
    • Copyright: 2015

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

  10. Extremal Combinatorics

    With Applications in Computer Science

    Authors:
    • Stasys Jukna
    • Copyright: 2011

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Publish with us

Submission guidelines
Open access publishing
Policies and ethics
Contact the Publishing Editor
Wayne Wheeler
Download book proposal form