Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17 februari 1995
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 549

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

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
Språk Tyska  
Redaktör Fisher, Michael
Redaktör Owens, Richard

Fler produkter med Michael Fisher

Visa alla

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