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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

Produktform: Buch / Einband - flex.(Paperback)

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Active Object Languages: Current Research Trends

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Active Object Languages: Current Research Trends

Produktform: Buch / Einband - flex.(Paperback)