- 5 Ergebnisse
Kleinster Preis: € 7,08, größter Preis: € 59,11, Mittelwert: € 28,65
1
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings - Ed Brinksma
Bestellen
bei AbeBooks.de
€ 59,11
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ed Brinksma:

Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings - Taschenbuch

1997, ISBN: 3540627901

[EAN: 9783540627906], Neubuch, [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. ALLGEMEINES; MODELLPRÜFUNG; SYSTEMANALYSE; ALGORITHM; MODELCHECKING; SOFTWAREDEVELOPMENT; SYS… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Tools and Algorithms for the Construction and Analysis of Systems - Ed Brinksma
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Ed Brinksma:

Tools and Algorithms for the Construction and Analysis of Systems - Taschenbuch

ISBN: 9783540627906

*Tools and Algorithms for the Construction and Analysis of Systems* - Third International Workshop TACAS'97 Enschede The Netherlands April 2-4 1997 Proceedings. Auflage 1997 / Taschenbuch… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
3
Bestellen
bei alibris.co.uk
€ 11,68
Bestellen
Details und Versand
gesponserter Link
Brinksma, Ed [Editor]:
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1997

ISBN: 9783540627906

Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in nice condition with the usual markings and attachments., [PU: Springer]

Versandkosten:zzgl. Versandkosten Spring Branch, TX, GuthrieBooks
zuklappen (X)
4
Bestellen
bei Biblio.co.uk
$ 12,95
(ca. € 11,89)
Versand: € 19,291
Bestellen
Details beim Anbieter
gesponserter Link
Ed Brinksma (Editor):
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1997, ISBN: 9783540627906

Springer, 1997-05-09. 1997. Paperback. Used:Good., Springer, 1997-05-09, 0

Versandkosten: EUR 19.29 Ergodebooks
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 7,71
(ca. € 7,08)
Versand: € 19,291
Bestellen
Details beim Anbieter
gesponserter Link
Editor-Ed Brinksma:
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Lecture Notes in Computer Science) - Taschenbuch

1997, ISBN: 9783540627906

Springer, 1997-05-09. Paperback. Good., Springer, 1997-05-09, 2.5

Versandkosten: EUR 19.29 Ergodebooks
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Tools and Algorithms for the Construction and Analysis of Systems
Autor:
Titel:
ISBN-Nummer:

9783540627906


This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

Detailangaben zum Buch - Tools and Algorithms for the Construction and Analysis of Systems


EAN (ISBN-13): 9783540627906
ISBN (ISBN-10): 3540627901
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: Springer Berlin Heidelberg
452 Seiten
Gewicht: 0,678 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-28T15:10:32+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-22T04:04:31+01:00 (Berlin)
ISBN/EAN: 9783540627906

ISBN - alternative Schreibweisen:
3-540-62790-1, 978-3-540-62790-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: brinks, university twente, enschede
Titel des Buches: proceedings international workshop, international 1997, computer notes, the analysis algorithms, tools algorithms construction analysis systems, enschede, mathematical foundations computer science, april, proceedings the third international

Daten vom Verlag:

Autor/in: Ed Brinksma
Titel: Lecture Notes in Computer Science; Tools and Algorithms for the Construction and Analysis of Systems - Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Verlag: Springer; Springer Berlin
437 Seiten
Erscheinungsjahr: 1997-03-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 437 p.

BC; Hardcover, Softcover / Informatik, EDV/Hardware; Computerhardware; Verstehen; Algorithms; Modellprüfung; Systemanalyse; Tools; algorithm; model checking; software development; systems analysis; systems design; theorem proving; tool; verification; Computer Engineering and Networks; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Communication Networks; Theoretische Informatik; Software Engineering; Netzwerk-Hardware; EA

Hardware and software synthesis, optimization, and verification from Esterel programs.- Manipulation algorithms for K*BMDs.- Combining partial order and symmetry reductions.- Partial model checking with ROBDDs.- Space efficient reachability analysis through use of pseudo-root states.- The reference component of PEP.- A tool to support formal reasoning about computer languages.- The term processor generator Kimwitu.- Graphs in MetaFrame: The unifying power of polymorphism.- A tableau system for linear-TIME temporal logic.- Model-checking for a subclass of event structures.- Real-time logics: Fictitious clock as an abstraction of dense time.- Mosel: A flexible toolset for monadic second-order logic.- A brief introduction to coloured Petri Nets.- Design/CPN — A computer tool for Coloured Petri Nets.- Formal verification of statecharts with instantaneous chain reactions.- Compositional state space generation from Lotos programs.- Syntactic detection of process divergence and non-local choice in message sequence charts.- An automata based verification environment for mobile processes.- Compositional performance analysis.- Incremental development of deadlock-free communicating systems.- Automatic synthesis of specifications from the dynamic observation of reactive programs.- Visual verification of reactive systems.- Theorem prover support for the refinement of stream processing functions.- Integration in PVS: Tables, types, and model checking.- Test generation for intelligent networks using model checking.- Mechanically verified self-stabilizing hierarchical algorithms.- The bounded retransmission protocol must be on time!.
< zum Archiv...