Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science - J C Bradfield - Boeken - Birkhauser - 9781468468212 - 25 februari 2012
Indien omslag en titel niet overeenkomen, is de titel correct

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

J C Bradfield

Prijs
€ 65,99

Besteld in een afgelegen magazijn

Verwachte levering 12 - 24 jun.
Voeg toe aan uw iMusic-verlanglijst

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

116 pages, black & white illustrations, bibliography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 25 februari 2012
ISBN13 9781468468212
Uitgevers Birkhauser
Pagina's 116
Afmetingen 156 × 234 × 7 mm   ·   185 g