Neuware
Logics in Computer Science - A Study on Extensions of Temporal and Strategic Logics
von Fabio Mogavero
2013 Gebunden, 168 Seiten, 241mm x 160mm x 14mm, Sprache(n): eng Provides four extensions of classic temporal and strategic logicsComprises new results on expressiveness and succinctness of logics in computer scienceIncludes new techniques for proving upper and lower computational boundsIn this…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- ISBN / EAN
- 9789491216947
Link zur Suche kopieren
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!