Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science, Band 3)
von Luca Aceto Verlag: Cambridge University Press,
28.08.1992. 24,6 x 18,0 x 2,0 cm, Gebundene Ausgabe 283 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Ohne Schutzumschlag
56,23 EUR
Automata, Languages and Programming. - 38th International Colloquium, ICALP 2011, Zurich, Switzer…
von Luca Aceto Verlag: Berlin, Springer Berlin / Heidelberg,
2011. 688 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7804 9783642220111
27,70 EUR
Automata, Languages and Programming. - 38th International Colloquium, ICALP 2011, Zurich, Switzer…
von Luca Aceto Verlag: Berlin, Springer Berlin / Heidelberg,
2011. 688 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7840 9783642220111
27,70 EUR
Automata, Languages and Programming. - 38th International Colloquium, ICALP 2011, Zurich, Switzer…
von Luca Aceto Verlag: Berlin, Springer Berlin / Heidelberg,
2011. 824 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7803 9783642220050
78,50 EUR
Automata, Languages and Programming. - 38th International Colloquium, ICALP 2011, Zurich, Switzer…
von Luca Aceto Verlag: Berlin, Springer Berlin / Heidelberg,
2011. 824 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7933 9783642220050
78,50 EUR
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerla…
von Luca Aceto Verlag: Springer Berlin,
2011 2011. Neubindung, Buchrücken leicht geknickt und eingerissen, Part 2, Ausg. 2011 10868185/12
- Sonderaktion: 10% Rabatt bis 11.06.2024
31,31 EUR
28,18 EUR
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…
159,21 EUR
Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerla…
von Luca Aceto Verlag: Springer Berlin,
2011 2011. Neubindung, Buchrücken leicht geknickt und eingerissen, Part 1, Ausg. 2011 10868174/12
- Sonderaktion: 10% Rabatt bis 11.06.2024
82,28 EUR
74,05 EUR
Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland…
von Luca Aceto Verlag: Springer Berlin,
2008 2008. Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2008 4485553/12
- Sonderaktion: 10% Rabatt bis 11.06.2024
80,35 EUR
72,31 EUR
Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland…
von Luca Aceto Verlag: Springer Berlin,
2008 2008. Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2008 4485554/12
- Sonderaktion: 10% Rabatt bis 11.06.2024
120,29 EUR
108,26 EUR
- Autor
- Luca Aceto
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)!