|
Formal Methods for Software Engineering
|
| Auteur: Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh |
| ISBN: 9783030388003 |
|
| Prijs: € 65.93 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 82.31
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Software Engineering and Formal Methods
|
| Auteur: Antonio Cerone; Frank S. de Boer |
| ISBN: 9783030587680 |
|
| Prijs: € 65.93 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 63.32
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium
|
| Auteur: Cerone, Antonio |
| ISBN: 9783540488156 |
|
| Prijs: € 76.92 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Theoretical Aspects of Computing -- ICTAC 2011
|
| Auteur: Antonio Cerone; Pekka Pihlajasaari |
| ISBN: 9783642232831 |
|
| Prijs: € 59.94 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 50.90
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1â7, 2021, Tutorial Lectures
|
| Auteur: Cerone, Antonio |
| ISBN: 9783031436772 |
| Prijs: € 56.98 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6â7, 2023, Revised Selected Papers
|
| Auteur: Cerone, Antonio |
| ISBN: 9783031872167 |
| Prijs: € 126.64 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Software Engineering and Formal Methods 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14â18, 2020, Proceedings
|
| Auteur: Cerone, Antonio |
| ISBN: 9783030587673 |
|
| Prijs: € 63.32 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
nl
en