Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science - Ron Koymans - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540562832 - 14 december 1992
Indien omslag en titel niet overeenkomen, is de titel correct

Ron Koymans
Specifying Message Passing and Time-critical Systems with Temporal Logic - Lecture Notes in Computer Science 1992 edition

Prijs
€ 60,49

Besteld in een afgelegen magazijn

Verwachte levering 28 aug. - 11 sep.
Ontvang meldingen over nieuwe releases van Ron Koymans

Onze klanten zeggen:

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

Nog niet beoordeeld

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.

174 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 14 december 1992
ISBN13 9783540562832
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 174
Afmetingen 155 × 233 × 9 mm   ·   267 g
Taal en grammatica Engels  

Meer van dezelfde uitgever

Bekijk alles van Ron Koymans ( bijv. Paperback Book )