Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European . (Lecture Notes in Computer Science)

Editor

Springer

Fecha de publicaci�n

2000

Idioma

Ingl�s

ISBN 10

3540672826

ISBN 13

9783540672821

Encuadernaci�n

Encuadernaci�n de tapa blanda

Edici�n

Auflage: 2000.

Estado

Sehr gut

Cat�logos de vendedores

Acerca de

Sinopsis

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.
The 33 revised full papers presented together with one invited paper and two short tool descriptions were carefully reviewed and selected from a total of 107 submissions. The papers are organized in topical sections on software and formal methods, formal methods, timed and hybrid systems, infinite and parameterized systems, diagnostic and test generation, efficient model checking, model-checking tools, symbolic model checking, visual tools, and verification of critical systems.

Rese�a del editor

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

Descripci�n de la librer�a

Sitz der Gesellschaft: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** Versandanschrift: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** kundenservice @ fachbuecher-weltversand.de Umsatzsteuer-Identifikationsnummer gem�� 27a Umsatzsteuergesetz DE240798524

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

NEPO UG
Bahnhofsplatz 1, R�sselheim am Main, 65428, Germany

Condiciones de venta y env�o

Condiciones de venta

Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die Waren in Besitz genommen haben bzw. hat..Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns
NEPO UG
Bahnhofsplatz 1
65428 R�sselsheim am Main
eingetragen im Handelsregister des Amtsgerichtes Darmstadt
Handelsregisternummer HRB 103822
Ste...

M�s informaci�n