Reihe Texts in Theoretical Computer Science. An EATCS SeriesKlaus Schneider ×Springer Berlin × Verification of Reactive SystemsFormal Methods and AlgorithmsKlaus SchneiderSpringer BerlineBook201353,49 € Verification of Reactive SystemsFormal Methods and AlgorithmsKlaus SchneiderSpringer BerlinSoftcover201053,49 € Verification of Reactive SystemsFormal Methods and AlgorithmsKlaus SchneiderSpringer BerlinHardcover200353,49 €
