Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... 9421 (Lecture Notes in Computer Science)

by Matthias Weidlich (Editor), António Ravara (Editor), JanMartijnvanderWerf (Editor), ThomasHildebrandt (Editor)

• New

  Paperback
  2016

  $48.12

  This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.