testo

Titolo: All about Maude : a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.]

Titolo uniforme: All about Maude

Pubblicazione: Berlin ; Heidelberg : Springer, 2007

Tipo di risorsa: testo, Livello bibliografico: monografia, Lingua: eng, Paese: DE

Dettagli ↓

Quali biblioteche contattare per richiedere questa risorsa

Dettaglio risultati per rete

Alcune catalogazioni sono state accorpate perché sembrano descrivere la stessa edizione. Per visualizzare i dettagli di ciascuna, clicca sul numero di record

Rete
Numero record
Cod.ISIL
Biblioteche
OPAC
lucca
Biblioteche Lucca

Record aggiornato il: 2021-09-10T16:17:31.510Z