Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Mai 2026
Genre:	EDV / Informatik
	ACSL / Computer Science Logic and Foundations of Programming / first-order logic / formal methods / Hoare Logic / Mathematik für Informatiker / program verification / Programming with Contracts / Propositional Logic / Software Engineering / Symbolic and Algebraic Manipulation / Theoretische Informatik mehr...
ISBN:	9781447175575
EAN-Code:	9781447175575
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	291
Illustration:	XIV, 291 p. 49 illus., 3 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.