Ihr Marktplatz für antiquarische und neue Bücher | Login | Neu registrieren Registrieren
Buchfreund als App

Reactive Systems - 9780521875462 (ISBN)

(1 Ergebnisse)
ISBN / EAN
9780521875462
ISBN: 9780521875462
Diese Suche speichern
Neuware
Reactive Systems  - Modelling, Specification and Verification

Reactive Systems - Modelling, Specification and Verification

von Luca Aceto, Anna Ingolfsdottir, Jiri Srba

2014 Gebunden, 302 Seiten, 250mm x 175mm x 21mm, Sprache(n): eng Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important…

Neuware
Bestell-Nr.: A4990158
ISBN: 0521875463
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland

Verkäufer akzeptiert PayPal
Verkäufer akzeptiert PayPal

156,40 EUR

Kostenloser Versand
Nichts passendes gefunden?
ISBN / EAN
9780521875462
Link zur Suche kopieren

Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!