Computerkommunikation & -vernetzung - Algorithmen & Datenstrukturen - Programming and Software Engineering - fachmedien.de - Ihre Online-Fachmedien-Plattform

0
0

Cha / Choi / Kim

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Cha / Choi / Kim

Automated Technology for Verification and Analysis

Verlag: Springer
ISBN: 978-3-540-88386-9 (Buch)
Erscheinungstermin: 06.10.2008

Lieferzeit ca. 10 Werktage

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

Bassiliades / Governatori / Paschke

Rule Representation, Interchange and Reasoning on the Web

Rule Representation, Interchange and Reasoning on the Web

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Bassiliades / Governatori / Paschke

Rule Representation, Interchange and Reasoning on the Web

Verlag: Springer
ISBN: 978-3-540-88807-9 (Buch)
Erscheinungstermin: 08.10.2008

Lieferzeit ca. 10 Werktage

53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)

Zur Detailansicht Auf die Merkliste

|
1
|