Unifying Theories of Programming and Formal Engineering Methods Zhiming Liu
53,49 €
Titel: Unifying Theories of Programming and Formal Engineering Methods, Untertitel: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures, Einband: Taschenbuch, Autor: Zhiming Liu, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 296, Maße: 235x155x17 mm, Gewicht: 452 g, Verkäufer: buch-mimpf, Schlagworte: Formal Specification Hybrid Hoare Logic formal modeling interactive theorem proving model-driven software development.
Jetzt bei Ebay:
