Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671
Koha Online Catalog
Search
Library Catalog
Title
Author
Subject
ISBN
Series
Call Number
Advanced Search
|
Browse by Subject
|
Tag Cloud
The logic of partial information /
by
Nait Abdallah, Areski
Normal View
ISBD View
Series:
Monographs on theoretical computer science
Published by :
Springer-Verlag,
(Berlin ; New York : )
Physical details:
XXV, 715 p. ; 24 cm.
Subject(s):
Programming languages (Electronic computers)--Semantics
|
Computer algorithms
|
Logic, Symbolic and mathematical
Year :
1995
No tags for this title.
Log in to add tags.
Holdings ( 1 )
Descriptions
Comments
Item type
Location
Call Number
Copy
Status
Date Due
Books
Istituto di Ingegneria Biomedica
QA76.7.N35 (
Browse Shelf
)
1
Available
Browsing Istituto di Ingegneria Biomedica Shelves
Close Shelf Browser
QA76.7.M65
An introduction to formal language theory /
QA76.7.M76L
Part b: Standard semantics, store semantics, stack semantics
QA76.7.M76L
Part a: Indices and appendices, fundamental concepts, mathematical foundations
QA76.7.N35
The logic of partial information /
QA76.7.N5
The structure and design of programming languages /
QA76.7.O39
Definition of programming languages by interpreting automata /
There are no comments for this item.
Log in to your account
to post a comment.
Print
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Save Record:
-- Choose Format --
MODS (XML)
Dublin Core (XML)
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
Important links here.
There are no comments for this item.