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

Models, Algorithms, Logics and Tools Luca Aceto

Name: Models, Algorithms, Logics and Tools Luca Aceto
Brand: Springer International Publishing, Springer Nature Switzerland
SKU: 177080049373
Price: 53.49 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

53,49 €

Titel: Models, Algorithms, Logics and Tools, Untertitel: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Einband: Taschenbuch, Autor: Luca Aceto, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 680, Maße: 235x155x37 mm, Gewicht: 1013 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Data Security Probability Programming languages Real Time Systems Semantics Software Engineering Specifications automata theory computer software selection and evaluation formal logic formal methods model checking numerical methods temporal logic timed automata translation (languages) verification wireless networks wireless telecommunication systems.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

680
Gewicht:

1013
Einband:

Taschenbuch
Marke:

Springer International Publishing, Springer Nature Switzerland
Fachbereich:

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

Models, Algorithms, Logics and Tools
Buchtitel:

Models, Algorithms, Logics and Tools
Untertitel:

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of H...
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Artificial Intelligence Data Security Probability Programmi...
ISBN:

9783319631202
Reihe:

Theoretical Computer Science And General Issues
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2017
Anzahl der Seiten:

680 Seiten
Autor:

Giorgio Bacci, Luca Aceto, Radu Mardare, Anna Ingólfsdóttir, Giovanni Bacci, Axel Legay
Verlag:

Springer International Publishing
Publikationsname:

Models, Algorithms, Logics And Tools
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

Models, Algorithms, Logics and Tools Luca Aceto

Models, Algorithms, Logics and Tools: Essays Dedica... | Buch | Zustand sehr gut

Luca Aceto (u. a.) | Models, Algorithms, Logics and Tools | Taschenbuch (2017)

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

New Data Structures and Algorithms for Logic Synthesis and Verification Luca Gae

New Data Structures and Algorithms for Logic Synthesis and Verification Luca Gae

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

Models, Algorithms, Logics and Tools - 9783319631202

The Nature of Computation: Logic, Algorithms, Applications Paola Bonizzoni

Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms Takeshi Furuhash

Mapping of Algorithms on Parallel Architectures Keny T. Lucas

Genetic Algorithms for Low Power Logic Optimization and Synthesis Saurabh Chaudh

Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff

Aceto - Models Algorithms Logics and Tools Essays Dedicated to Kim - T555z

Tools and Algorithms for the Construction and Analysis of Systems Michael Schwar

Logic and Theory of Algorithms Arnold Beckmann

Proofs and Algorithms : An Introduction to Logic and Computability, Paperback...

New Data Structures and Algorithms for Logic Synthesis and Ve... - 9783319827537

Tools and Algorithms for the Construction and Analysis of Sys... - 9783319899596

Action Refinement Process Algebras Luca Aceto Hardcover Cambridge… 9780521431118

Proofs and Algorithms : An Introduction to Logic and Computability, Paperback...

Models, Algorithms, Logics and Tools Luca Aceto

Ähnliche Artikel

Models, Algorithms, Logics and Tools: Essays Dedica... | Buch | Zustand sehr gut

Luca Aceto (u. a.) | Models, Algorithms, Logics and Tools | Taschenbuch (2017)

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

New Data Structures and Algorithms for Logic Synthesis and Verification Luca Gae

New Data Structures and Algorithms for Logic Synthesis and Verification Luca Gae

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

Models, Algorithms, Logics and Tools - 9783319631202

The Nature of Computation: Logic, Algorithms, Applications Paola Bonizzoni

Advances in Fuzzy Logic, Neural Networks and Genetic Algorithms Takeshi Furuhash

Mapping of Algorithms on Parallel Architectures Keny T. Lucas

Genetic Algorithms for Low Power Logic Optimization and Synthesis Saurabh Chaudh

Tools and Algorithms for the Construction and Analysis of Systems Bernhard Steff

Aceto - Models Algorithms Logics and Tools Essays Dedicated to Kim - T555z

Tools and Algorithms for the Construction and Analysis of Systems Michael Schwar

Logic and Theory of Algorithms Arnold Beckmann

Proofs and Algorithms : An Introduction to Logic and Computability, Paperback...

New Data Structures and Algorithms for Logic Synthesis and Ve... - 9783319827537

Tools and Algorithms for the Construction and Analysis of Sys... - 9783319899596

Action Refinement Process Algebras Luca Aceto Hardcover Cambridge… 9780521431118

Proofs and Algorithms : An Introduction to Logic and Computability, Paperback...

Cookie Hinweis