Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993 - Proceedings - Lecture Notes in Computer Science - Michael Fisher - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540589761 - 17 februari 1995
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 25 dec. - 2 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 17 februari 1995
ISBN13 9783540589761
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 188
Afmetingen 156 × 234 × 10 mm   ·   281 g
Taal en grammatica Duits  
Uitgever Fisher, Michael
Uitgever Owens, Richard

Meer door Michael Fisher

Alles tonen

Bekijk alles van Michael Fisher ( bijv. Paperback Book , Hardcover Book en CD )