Formal Methods and Software Engineering
- 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
- Indbinding:
- Paperback
- Sideantal:
- 498
- Udgivet:
- 14. oktober 2017
- Udgave:
- 12017
- Størrelse:
- 155x235x0 mm.
- Vægt:
- 7723 g.
- 8-11 hverdage.
- 16. januar 2025
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.
Beskrivelse af Formal Methods and Software Engineering
The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Brugerbedømmelser af Formal Methods and Software Engineering
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 and Software Engineering findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621