Manuel Clavel - All About Maude - A High-performance Logical Framework: How To Specify, Program, And Verify Systems In Rewriting Logic (lecture Notes In Computer Science)
Brand: Manuel Clavel -
EAN:
9783540719403MPN: m03540719407
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 2007, Label : Springer, Publisher : Springer, PackageQuantity : 25, medium : Taschenbuch, numberOfPages : 802, publicationDate : 2007-07-20, authors : Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, languages : english, ISBN : 3540719407
Preise vergleichen ab:
Manuel Clavel - in Bücher & Zeitschriften