lars henrik eriksson

Grid   List

  1. FME 2002: Formal Methods - Getting IT Right
    FME 2002: Formal Methods - Getting IT Right
    Lars-Henrik Eriksson
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Extensions of Logic Programming
    Extensions of Logic Programming
    Lars-Henrik Eriksson
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains papers presented at the secondinternational workshopon extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 19...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. FME 2002: Formal Methods - Getting IT Right
    FME 2002: Formal Methods - Getting IT Right
    Peter A. Lindsay
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>