Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Mai 2007
Genre:	EDV / Informatik
	C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computers / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical foundations / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Mathematical theory of computation / Theory of Computation
ISBN:	9783540727323
EAN-Code:	9783540727323
Verlag:	Springer Nature EN
Einband:	Kartoniert
Sprache:	English
Serie:	#4514 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 229 mm / B 152 mm / D
Gewicht:	1630 gr
Seiten:	516
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.