1
NASA Formal Methods

NASA Formal Methods

Serie:
Undertitel: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Lecture Notes in Computer Science
Redaktör: Barrett, Clark , Davies, Misty , Kahsai, Temesghen
Upplaga: 1st ed. 2017
Höjd: 235 mm
Bredd: 155 mm
Omfång: 436 s.
Övrig information:
Switzerland, Springer International Publishing AG
  • BOK (Häftad)
  • ISBN/EAN: 9783319572871
  • Utgivning: 2017-04-09
  • Upplaga: 1st ed. 2017
  • Utgivare: Springer International Publishing AG
  • Språk: Engelska
  • Utgivningsland: Switzerland
  • Art. nr: 2340815
Utrustad (5-8 dgr)
Logga in för att se ditt pris
st
Outrustad (5-8 dgr)
Pris: 653:-
Ditt pris: 653:- 
st