Formal Methods and Software Engineering (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Serie
Lecture Notes in Computer Science
Antal sidor
486
Utgivningsdatum
2016-10-15
Upplaga
16001
Förlag
Springer International Publishing AG
Dimensioner
234 x 156 x 26 mm
Vikt
704 g
ISBN
9783319478456

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

av Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Häftad,  Engelska, 2016-10-15
562
Köp
Spara som favorit
  • Skickas från oss inom 10-15 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Formal Methods and Software Engineering Kan tyvärr inte längre levereras innan julafton.
Köp ett presentkort istället.
Finns även som
Visa alla 1 format & utgåvor
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
Visa hela texten

Passar bra ihop

  1. Formal Methods and Software Engineering
  2. +
  3. Rewriting Logic and Its Applications

De som köpt den här boken har ofta också köpt Rewriting Logic and Its Applications av Kazuhiro Ogata, Narciso Martí-Oliet, Narciso Marti-Oliet (häftad).

Köp båda 2 för 1326 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

Du kanske gillar