Formal Methods for Executable Software Models
- 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
- Indbinding:
- Paperback
- Sideantal:
- 343
- Udgivet:
- 21. maj 2014
- Udgave:
- 2014
- Størrelse:
- 155x235x19 mm.
- Vægt:
- 5329 g.
- 8-11 hverdage.
- 10. december 2024
På lager
Forlænget returret til d. 31. januar 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Brugerbedømmelser af Formal Methods for Executable Software Models
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Formal Methods for Executable Software Models findes i følgende kategorier: