Formal Methods: Applications and Technology

Type:: e-book
Titel:: Formal Methods: Applications and Technology
Auteur:: Brim, LuboÅ¡; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de
Taal:: Engels
Uitgever:: Springer Berlin Heidelberg 2007
ISBN:: 3-540-70951-7
9786610935772
1-280-93577-4
3-540-70952-5
Onderwerp:: Information Technology Software Engineering
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000478496