Shortcuts
Please wait while page loads.
SISSA Library . Default .
PageMenu- Main Menu-
Page content

Catalogue Display

Temporal logic of programming

Temporal logic of programming
British LibraryResolver for RSN-14714
Catalogo Nazionale SBNResolver for RSN-14714
WorldCat Resolver for RSN-14714
Google ScholarResolver for RSN-14714
GoogleBooksResolver for RSN-14714
ICTP LibraryResolver for RSN-14714
.
Share Link
Catalogue Information
Field name Details
Dewey Class 005.1
Title Temporal logic of programming / Fred Kroeger
(M)
Author Kroeger, Fred
Publication Berlin : Springer-Verlag , 1987
Physical Details viii, 148 p.
Series EATCS monographs on theoretical computer science ; 8
ISBN 3-540-17030-8
Links to Related Works
Subject References:
Authors:
Series:
Classification:
.
ISBD Display Catalogue Record 14714
.
Tag Display Catalogue Record 14714
.
Related Works Catalogue Record 14714
.
Marc XML Catalogue Record 14714
.
Add Title to Basket Catalogue Record 14714
.
Catalogue Information 14714 Beginning of record . Catalogue Information 14714 Top of page .
Item Information
Barcode Shelf Location Collection Volume Ref. Branch Status Due Date
00000000039735 005.1 KRO
 General   SISSA . . Available .  
Download Title Catalogue Record 14714
. Catalogue Record 14714 ItemInfo Beginning of record . Catalogue Record 14714 ItemInfo Top of page .
Most Popular Titles
# Author Title
1 . Jost, Jürgen 1956- 1 . Nonpositive curvature: geometric and analytic aspects 1
2 . Jost, Jürgen 1956- 2 . Calculus of variations 2
3 . Jost, Jürgen 1956- 3 . Harmonic maps between surfaces: with a special chapter on conformal mappings 3
4  . Geometric analysis and the calculus of variations for Stefan Hildebrandt 4
5 . Jost, Jürgen 1956- 5 . Compact Riemann surfaces: an introduction to contemporary mathematics 5
.

Reviews


This item has not been rated.    Add a Review and/or Rating14714
Quick Search