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

Formal Methods for Open Object-Based Distributed Systems

EAN-Nummer: 9783540729198


TOP PREIS!
Formal Methods for Open Object-Based Distributed Systems

Anbieter: Averdo

Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

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

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

ID: 15350485897

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