Gebraucht - Gut Zustand: Gut, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings XI, 325 p. Also available online. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods. Written for Researchers and professionals.

N� de ref. del art�culo 14907

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Verification, Model Checking, and Abstract Interpretation.
Editor: Springer Verlag
Fecha de publicaci�n: 2002
Idioma: Ingl�s
ISBN 10: 3540003487
ISBN 13: 9783540003489
Encuadernaci�n: Softcover
Estado: Gut

Acerca de

Sinopsis

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities-Veri?cation, Model Checking, and Abstract Interpretation-that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je?erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Online Handel mit gebrauchten und antiquarischen B�chern.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

CSG Onlinebuch GMBH
Bunsenstr. 6, Darmstadt, 64293, Germany

Condiciones de venta y env�o

Condiciones de venta

Verantwortlich im Sinne des Presserechts und des Mediendienste-Staatsvertrages sowie Diensteanbieter gem�� der Commerce-Richtlinie der EU ist die CSG Onlinebuch GmbH. Postadresse: CSG Onlinebuch GmbH Bunsenstr. 6 D-64293 Darmstadt, Tel.: 06151-988530, Mail: info@onlinebuch.de

Vertretungsberechtigte Gesellschafter: Stefan Gude Handelsregister: HRB 5604 - Amtsgericht Darmstadt Ust.-ID gem�ss Para. 27 a Umsatzsteuergesetz: DE147863163

Allgemeine Gesch�ftsbedingungen und Kundeninformationen

I. Allge...

M�s informaci�n

Condiciones de env�o

2-5 Werktage / B�chersendungen bis zu 7 Werktagen (nach Zahlungseingang)

Gilt f�r Lieferungen nach Deutschland. Lieferzeit f�r andere L�nder maximal 14 Werktage.

Die Frist f�r die Lieferung beginnt bei Zahlung per Vorkasse am Tag nach Erteilung des Zahlungsauftrags an das �berweisende Kreditinstitut bzw. bei anderen Zahlungsarten am Tag nach Vertragsschluss zu laufen und endet mit dem Ablauf des letzten Tages der Frist. F�llt der letzte Tag der Frist auf einen Samstag, Sonntag oder einen am Lieferort staatlich anerkannten allgemeinen Feiertag, so tritt an die Stelle eines solchen Tages der n�chste Werktag.

Informaci�n detallada sobre el vendedor