Reihe Monographs in Theoretical Computer Science. An EATCS SeriesFred Kröger ×Springer Berlin × Temporal Logic of Programs Fred KrögerSpringer BerlineBook201253,49 € Temporal Logic of Programs Fred KrögerSpringer BerlinSoftcover201153,49 €
