- 3 Ergebnisse
Kleinster Preis: € 59,49, größter Preis: € 59,49, Mittelwert: € 59,49
1
Tools and Algorithms for the Construction and Analysis of Systems - Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link
Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen:

Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

ISBN: 9783540485094

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Sy… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Tools and Algorithms for the Construction and Analysis of Systems - Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen
Bestellen
bei Springer.com
€ 59,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen:

Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

ISBN: 9783540485094

Computer Science; Computer Engineering; Operating Systems; Theory of Computation; Logics and Meanings of Programs; Software Engineering; Computer Communication Networks Analysis, algorith… Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Tools and Algorithms for the Construction and Analysis of Systems - Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link
Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen:
Tools and Algorithms for the Construction and Analysis of Systems - neues Buch

ISBN: 9783540485094

Computer Science; Computer Engineering; Operating Systems; Theory of Computation; Logics and Meanings of Programs; Software Engineering; Computer Communication Networks Analysis, algorith… Mehr…

  - Versandkosten:zzgl. Versandkosten.
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:

9783540485094

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


EAN (ISBN-13): 9783540485094
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-08T00:53:36+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-07-02T15:54:52+02:00 (Berlin)
ISBN/EAN: 9783540485094

ISBN - alternative Schreibweisen:
978-3-540-48509-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: larsen, rance, bernhard
Titel des Buches: algorithms, tools

Daten vom Verlag:

Autor/in: Ed Brinksma; W. Rance Cleaveland; Kim G. Larsen; Tiziana Margaria; Bernhard Steffen
Titel: Lecture Notes in Computer Science; Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Verlag: Springer; Springer Berlin
298 Seiten
Erscheinungsjahr: 2005-06-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VII, 298 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Hardware; Computerhardware; Verstehen; Analysis; algorithm; algorithms; distributed systems; real-time; theorem proving; tool; verification; C; Computer Engineering and Networks; Operating Systems; Theory of Computation; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Communication Networks; Computer Science; Betriebssysteme; Theoretische Informatik; Software Engineering; Netzwerk-Hardware; BC

Combining model checking and deduction for I/O- automata.- A constraint oriented proof methodology based on modal transition systems.- A user guide to HyTech.- Modal ?-calculus, model checking and Gauß elimination.- Mona: Monadic second-order logic in practice.- Efficient simplification of bisimulation formulas.- Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers for deadlock.- A front-end generator for verification tools.- Analytic and locally approximate solutions to properties of probabilistic processes.- Model checking of non-finite state processes by finite approximations.- On automatic and interactive design of communicating systems.- Layers as knowledge transitions in the design of distributed systems.- Parallelism for free: Bitvector analyses ? no state explosion!.
< zum Archiv...