Manuel clavel u a (1 risultati)

Autore:

Perfeziona con la Ricerca avanzata

Altre immagini
All About Maude - A High-Performance Logical Framework | How to Specify, Program, and Verify Systems in Rewriting Logic
Manuel Clavel (u. a.)
Lingua: Inglese
Editore: Springer, 2007
3540719407 / 9783540719403
- Rilegato
Da: preigu, Osnabrück, Germaniapreigu
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 86,30
EUR 70,00 spedizione
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Buch. Condizione: Neu. All About Maude - A High-Performance Logical Framework | How to Specify, Program, and Verify Systems in Rewriting Logic | Manuel Clavel (u. a.) | Buch | xxii | Englisch | 2007 | Springer | EAN 9783540719403 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …