A practical formal semantic definition and verification system for TYPED LISP /

A practical formal semantic definition and verification system for TYPED LISP /

Zapisane w:
Opis bibliograficzny
1. autor: Cartwright, Robert, 1949-
Format: Praca dyplomowa Książka
Język:English
Wydane: [Stanford, CA] : Computer Science Department, Stanford University, 1976.
Seria:Report (Stanford University. Dept. of Computer Science) ; no. STAN-CS-77-592.
Memo (Stanford University. Artificial Intelligence Laboratory) ; AIM-296.
Hasła przedmiotowe:
LISP (Computer program language)
Programming languages (Electronic computers) > Semantics.
Computer programs > Verification.

CARM 1 Store

Szczegóły zapisu CARM 1 Store
Sygnatura: A2:AL27D0 D05620
Egzemplarz 1 Dostępne  Zamów

Podobne zapisy