Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 2018
Genre:	EDV / Informatik
	ArtificialIntelligence / datasecurity / Digital- und Informationstechnologien# allgemeine Themen / EDV / Theorie / Software-Entw. / Software Engineering / Event-B / Expertensystem / formallogic / formalmethods / formalverifications / Informatik / informationstechnologie / it / Mathematik / Informatik, Computer / programcompilers / ProgrammingLanguages / Semantics / Software Engineering / Softwareengineering / softwareevaluation / Systemanalyse und -design / Technologie / Informationstechnologie / theoremproving / Theoretische Informatik / Verification / Wissensbasiertes System mehr...
ISBN:	9783030024499
EAN-Code:	9783030024499
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#11232 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 27 mm
Gewicht:	744 gr
Seiten:	496
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.