Kategorien
Österreich
Deutsch
Konto
Anmelden / Registrieren		Warenkorb
 		 
 >  >  >  >  > Artikel

Logic of Programs


Menge:  Stück  
Produktinformationen
cover
cover
Artikel-Nr.:
     5667A-9783540111603
Hersteller:
     Springer Verlag
Herst.-Nr.:
     9783540111603
EAN/GTIN:
     9783540111603
Suchbegriffe:
Allgemeine Informatikbücher
Bücher für Datenbanken - englischsp...
Datenbanken (Fachbücher)
Datenbankenbücher
On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL -- Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.
Weitere Informationen:
Author:
E. Engeler
Verlag:
Springer Berlin
Sprache:
eng
Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Algebra; Duality; Programs; Proposition; algorithms; logic, Programs, algebra, algorithms, duality, logic, proposition
Die Konditionen im Überblick1
Lieferzeit
Lagerstand
Preis
€ 49,99*
Konditionen selbst auswählen
Artikel empfehlenArtikel merken
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.