Jetzt Formal Methods for Web Services: 9th International von Marco Bernardo und Gianluigi Zavattaro als Buch bei 1Advd.ch kaufen

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

Übersicht

Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Mai 2009
Genre:	EDV / Informatik
	Application software / C / Compilers & interpreters / Compilers and Interpreters / Computer and Information Systems Applications / Computer Engineering / Computer Engineering and Networks / Computer programming / Computer programming / software engineering / computer science / Information Retrieval / Information Systems Applications (incl. Internet) / Internet searching / Operating systems / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Software Engineering/Programming and Operating Systems mehr...
ISBN:	9783642019173
EAN-Code:	9783642019173
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#5569 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	539 gr
Seiten:	341
Illustration:	VII, 341 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.

SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.

Weitere Tipps:		0 Warenkorb ansehen


SUCHEN