Fenster schließen
Was suchen Sie? (Suchworte, EAN-Nr.)  Such-Tipps

Produktvorschläge:
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
EAN 9783540187714
Bester Preis:
77,92€
von: Averdo
Grammatical Inference and Applications
Grammatical Inference and Applications
This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selected and refereed by the program[...]
EAN 9783540584735
Bester Preis:
40,02€
von: Averdo

Leveraging Applications of Formal Methods

EAN-Nummer: 9783540489283


TOP PREIS!
Leveraging Applications of Formal Methods

Anbieter: Averdo

Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Anbieter-Kategorie: Fachbücher, Lernen & Nachschlagen > Studium & Erwachsenenbildung

Preis: 40,02 Euro (+ Versandkosten 0,00 Euro)

ID: 15350479505

Schlagworte der gewählten Anbieter-Kategorien:
erwachsenenbildung, für, en, black, history, geschichte, zur, john, on, mit, la, to, das, for, im, nachschlagen, de, des, von, die, und, der, of, in, and, the, studium, fachbücher, lernen, white