Reihe Texts in Theoretical Computer Science. An EATCS SeriesFred Kröger × Temporal Logic and State Systems Fred KrögerSpringer BerlinSoftcover201080,24 € Temporal Logic and State Systems Fred KrögerSpringer BerlinHardcover200880,24 € Temporal Logic and State Systems Fred KrögerSpringer BerlineBook200880,24 €
