Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
E-bok
PDF, Engelska, 2005708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Service-Oriented and Cloud Computing
Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel
Häftad, 2013
516 kr
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development
Maurice Bruynooghe, Kung-Kiu Lau
644 kr
Computational Logic — CL 2000
John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey
661 kr
Computational Logic - CL 2000
Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd
E-bok
2003718 kr