Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite…
von Peter Csaba Ölveczky Verlag: Springer Berlin,
2010 2010. Neubindung, Buchrücken leicht gewellt 9293300/12
gebraucht, sehr gut
Anbieter: Buchpark GmbH, Trebbin, Deutschland
Neuware
Designing Reliable Distributed Systems - A Formal Methods Approach Based on Executable Modeling in…
von Peter Csaba Ölveczky
2018 Kartoniert, 332 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng Introduces formal modeling of abstract data types and distributed systemsDoes not assume or require any formal methods or theoretical computer science backgroundContains exercises throughoutThis classroom-tested textbook provides…
Neuware
Anbieter: MARZIES Buch- und Medienhandel, Schönwalde-Glien, Deutschland
Nichts passendes gefunden?
- Autor
- Peter Csaba Ölveczky
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)!