Reihe Texts in Theoretical Computer Science. An EATCS SeriesKlaus Schneider × 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 €
