Koha online catalog › Details for: Temporal logic of programs

Cover image

Normal view MARC view ISBD view

Temporal logic of programs

By: Kroger, Fred .

Publisher: Berlin-DD Springer-Verlag 1987Description: 148 p.Subject(s): COMPUTACION Y MATEMATICAS | LOGICA DE PROPOSICIONES (COMPUTACION) | LOGICA MATEMATICA | LOGICA TEMPORAL | SEMANTICA TEMPORAL DE PROGRAMADDC classification: 511.3 KRO

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Monografia	Campus	511.3 KRO (Browse shelf)	Available		039060

Browsing Campus shelves, Shelving location: Colección general Close shelf browser

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	511.3 IRA Lógica simbólica para informáticos	511.3 KAC Matematica y logica	511.3 KAN Fuzzy mathematical techniques with applications	511.3 KRO Temporal logic of programs	511.3 LAK Pruebas y refutaciones ; la logica del descubrimiento matematica	511.3 LAT Manual de lógica proposicional	511.3 LAV Comprendiendo el infinito	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha