Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Annotated edition

Michael Fisher

Pris

SEK 759

Beställningsvara

Förväntad leverans 14 - 24 maj

Våra kunder säger:

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science Annotated edition

Presents the revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. This title addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints.

188 pages, biography

Media	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	17 februari 1995
ISBN13	9783540589761
Utgivare	Springer-Verlag Berlin and Heidelberg Gm
Antal sidor	188
Mått	156 × 234 × 10 mm · 281 g
Redaktör	Fisher, Michael
Redaktör	Owens, Richard

Visa alla

Fler produkter med Michael Fisher

Se alt med Michael Fisher ( t.ex. Pocketbok , Inbunden Bok och CD )