Tools And Algorithms For The Construction And Analysis Of System
Ramakrishnan,C.R., Rehof,J.
ISBN 10: 3540787992 ISBN 13: 9783540787990
Verlag: Springer, 2008
Neu
Softcover
Verkäufer
SMASS Sellers, IRVING, TX, USA
Verkäuferbewertung 4 von 5 Sternen
AbeBooks-Verkäufer seit 22. Februar 2022
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Bestandsnummer des Verkäufers ASNT3-1300
Inhaltsangabe:
This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Tools And Algorithms For The Construction ...
Verlag: Springer
Erscheinungsdatum: 2008
Einband: Softcover
Zustand: New