1Advd.ch - Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, N

Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!

Übersicht

Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	November 2016
Genre:	EDV / Informatik
	C / Compilers & interpreters / Compilers and Interpreters / Computer architecture & logic design / Computer logic / Computer Modelling / Computer modelling & simulation / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer simulation / Formal Languages and Automata Theory / information architecture / IT Operations / Logics and Meanings of Programs / Maintenance & repairs / Management information systems / Management of Computing and Information Systems / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Simulation and Modeling / Software Engineering
ISBN:	9783319498140
EAN-Code:	9783319498140
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Serie:	#10090 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 15 mm
Gewicht:	406 gr
Seiten:	264
Zus. Info:	Paperback
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.

The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

Weitere Tipps:		0 Warenkorb ansehen


SUCHEN