Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:318907 > OBJ-1 :

OBJ-1 : a study in executable algebraic formal specification : final report, fiscal year 1980 / Joseph A. Goguen, José Meseguer

Goguen, Joseph A. (författare)
Meseguer, José (författare)
Menlo Park, Calif. : SRI international, 1981
Engelska 63 s.
  • Bok
Inställningar Hjälp

Uppgift om bibliotek saknas i LIBRIS

Kontakta ditt bibliotek, eller sök utanför LIBRIS. Se högermenyn.

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy