Willkommen. Schön, sind Sie da!
Mein Ex Libris
☄️10% auf sofort versandbereite Artikel
Jetzt profitieren

Temporal Logic of Programs

Beschreibung

Inhalt Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- 3. Temporal Logical Laws.- 4. Some Further Temporal Oper...

Format auswählen

  • E-Book (pdf)CHF 59.90
E-Book (pdf)
CHF59.90
CHF59.90
Download steht sofort bereit 
Kein Rückgaberecht 
10% auf sofort versandbereite Artikel

Wird oft zusammen gekauft

Andere Kunden kauften auch