Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1 maart 1982
Indien omslag en titel niet overeenkomen, is de titel correct

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Prijs
€ 52,49

Besteld in een afgelegen magazijn

Verwachte levering 6 - 12 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
of

209 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 1 maart 1982
ISBN13 9783540112051
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 209
Afmetingen 155 × 233 × 11 mm   ·   312 g
Taal en grammatica Engels  

Bekijk alles van B. T. Hailpern ( bijv. Paperback Book )