1. Idegen nyelvű
  2. English books
  3. Mathematics, Science, Engineering
  4. Computer Science
  5. Computer Science

All About Maude - A High-Performance Logical Framework - How to Specify, Program, and Verify Systems in Rewriting Logic

Clavel, Manuel - Durán, Francisco - Eker, Steven - Lincoln, Patrick - Martí-Oliet, Narciso - Meseguer, José

Springer Berlin, 2007

angol・797 oldal・papír / puha kötés
További részletek
Részletek

  • angol
  • 797 oldal
  • Kötés: papír / puha kötés
  • ISBN: 3540719407


508.20 RON

5%

482.79 RON
idegen
Clavel, Manuel - Durán, Francisco - Eker, Steven - Lincoln, Patrick - Martí-Oliet, Narciso - Meseguer, José: All About Maude - A High-Performance Logical Framework
Clavel, Manuel - Durán, Francisco - Eker, Steven - Lincoln, Patrick - Martí-Oliet, Narciso - Meseguer, José
5%
508.20 RON 482.79 RON

ÉRTÉKELÉSEK

Hogy tetszett?

Csak bejelentkezett felhasználók értékelhetik a könyvet.