|
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: € 104.99
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
On the Construction of Engineering Handbooks
|
| Auteur: Stefan Gruner; Apurva Kumar; Tom Maibaum; Markus Roggenbach |
| ISBN: 9783030446482 |
|
| Prijs: € 59.94 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 67.04
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Formal Methods â Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2â3, 2019, Revised Selected Papers
|
| Auteur: Roggenbach, Markus |
| ISBN: 9783030713737 |
|
| Prijs: € 67.04 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
|
| Auteur: Roggenbach, Markus |
| ISBN: 9783030737849 |
|
| Prijs: € 67.04 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Formal Methods for Software Engineering Languages, Methods, Application Domains
|
| Auteur: Roggenbach, Markus; Cerone |
| ISBN: 9783030387990 |
|
| Prijs: € 104.99 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Hardback |
|
|
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21â24, 2016, Revised Selected Papers
|
| Auteur: Roggenbach, Markus |
| ISBN: 9783319720432 |
|
| Prijs: € 67.04 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
|
| Auteur: Roggenbach, Markus |
| ISBN: 9783031401312 |
| Prijs: € 96.84 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Formal Methods for Software Engineering Languages, Methods, Application Domains
|
| Auteur: Roggenbach, Markus; Cerone |
| ISBN: 9783030388027 |
| Prijs: € 82.49 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Leverbaar |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
nl
en