Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App
Formal Methods (Softcover)  - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Bild 1 von 1

Formal Methods (Softcover)

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

1st ed. 2018 - Erschienen 12.07.2018 - Kartoniert, 708 Seiten, 235mm x 155mm x 38mm, Sprache(n): eng

Produktart:
📚 Bücher
Anbieter:
MARZIES Buch- und Medienhandel
Bestell-Nr.:
A34089676
Kategorie(n):
ISBN:
3319955810
EAN:
9783319955810
Stichworte:

ArtificialIntelligence, datasecurity, formallogic, formalmethods, modelchecking, satisfiability, securitysystems, softwareevaluation, Temporallogic, verification, formalverifications, programdebugging, robots, Safetycriticalsystems, Softwareengineering, Specifications, Compiler, Übersetzer (EDV), 3D-Druck, EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik / Informatik, Computer, Programmiersprachen, Roboter - Robotik - Industrieroboter

Angebotene Zahlungsarten
Vorauskasse, PayPal
Neuware
Neuware109,60 EURKostenloser Versand

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

Meine zuletzt angesehenen Bücher