Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Computer Aided Verification (Softcover)  - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Bild 1 von 1

Computer Aided Verification (Softcover)

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

1st ed. 2017 - Erschienen 13.07.2017 - Kartoniert, 624 Seiten, 235mm x 155mm x 34mm, Sprache(n): eng

Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A30075934
Kategorie(n):
ISBN:
3319633864
EAN:
9783319633862
Stichworte:

Softwareengineering, Semantics, computersoftwareselectionandevaluation, ArtificialIntelligence, modelchecking, Temporallogic, ProgrammingLanguages, Specifications, learningsystems, Probability, neuralnetworks, formallogic, EDV / Theorie / Programmieren / Allgemeines

Angebotene Zahlungsarten
Vorauskasse, PayPal
Neuware
Neuware60,88 EURKostenloser Versand

Ähnliche Bücher, die interessant für Sie sein könnten Verlag: Springer International Publishing

Meine zuletzt angesehenen Bücher