Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Tools and Algorithms for the Construction and Analysis of Systems Scott Smolka

Name: Tools and Algorithms for the Construction and Analysis of Systems Scott Smolka
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080036514
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Tools and Algorithms for the Construction and Analysis of Systems, Untertitel: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings, Einband: Taschenbuch, Autor: Scott Smolka, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 672, Maße: 235x155x36 mm, Gewicht: 1001 g, Verkäufer: buch-mimpf, Schlagworte: Algorithm analysis and problem complexity LTL SMT solver probabilistic automata role-based access control software verification.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

672
Gewicht:

1001
Einband:

Taschenbuch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Tools and Algorithms for the Construction and Analysis of Systems
Buchtitel:

Tools and Algorithms for the Construction and Analysis of Systems
Untertitel:

19th International Conference, TACAS 2013, Held as Part of the...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Algorithm analysis and problem complexity LTL SMT solver pr...
ISBN:

9783642367410
Reihe:

Theoretical Computer Science And General Issues
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2013
Anzahl der Seiten:

672 Seiten
Autor:

Scott Smolka, Nir Piterman
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Tools And Algorithms For The Construction And Analysis of Systems
Sprache:

Englisch

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere

Tools and Algorithms for the Construction and Analysis of Systems Scott Smolka

Tools and Algorithms for the Construction and Analysis of Systems Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Cesare Tinelli

Tools and Algorithms for the Construction and Analysis of Systems Anna Philippou

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Marieke Huisma

Tools and Algorithms for the Construction and Analysis of Systems Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems Jakob Rehof

Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems Scott Smolka

Ähnliche Artikel

Tools and Algorithms for the Construction and Analysis of Systems Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Marijn Heule

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Natasha Sharyg

Tools and Algorithms for the Construction and Analysis of Systems Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Laura Kovács

Tools and Algorithms for the Construction and Analysis of Systems Cesare Tinelli

Tools and Algorithms for the Construction and Analysis of Systems Anna Philippou

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Lijun Zhang

Tools and Algorithms for the Construction and Analysis of Systems Tiziana Margar

Tools and Algorithms for the Construction and Analysis of Systems Marieke Huisma

Tools and Algorithms for the Construction and Analysis of Systems Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems Jakob Rehof

Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Cookie Hinweis