Studiebog

Verifying Concurrent Processes Using Temporal Logic

Name: Verifying Concurrent Processes Using Temporal Logic
Price: 419.95 DKK
Availability: InStock
ISBN: 9783540112051

- v. 129

B. T. Hailpern

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 419,95

Medlemspris: kr. 399,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 2-3 uger (Sendes fra fjernlager)
Forventet levering: 11-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal209
Udgivelsesdato01-03-1982
ISBN139783540112051
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,3 cm

Verifying Concurrent Processes Using Temporal Logic

- v. 129

Findes i disse kategorier...

Se andre, der handler om...