Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	November 2012
Genre:	EDV / Informatik
	Betriebssystem (EDV) / EDV / Theorie / Software-Entw. / Software Engineering / first-orderreasoning / formalmethod / Logic / LogikersterOrdnung / Mathematik / Informatik, Computer / Mathematik / Logik / Operating System / Programmiertheorie / Programmierung(EDV) / Programming / programminglanguage / programmingtheory / Programmverifikation / programverification / Semantics / Software Engineering / TemporaleLogik / Temporallogic / Theoretische Informatik / Verification mehr...
ISBN:	9783642635038
EAN-Code:	9783642635038
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	EATCS - Monographs in Theoretical Computer Science
Dimensionen:	H 242 mm / B 170 mm / D 20 mm
Gewicht:	629 gr
Seiten:	368
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.