Modal and Temporal Properties of Processes de Colin Stirling

Modal and Temporal Properties of Processes: Texts in Computer Science

en Limba Engleză Hardback – 6 iul 2001

Toate formatele și edițiile

	Preț	Express
Paperback (1)	371^.20 lei 6-8 săpt.
Springer – 9 oct 2011	371^.20 lei 6-8 săpt.
Hardback (1)	401^.49 lei 38-44 zile
Springer – 6 iul 2001	401^.49 lei 38-44 zile

Din seria Texts in Computer Science

20%

Preț: 392^.50 lei
20%

Preț: 328^.29 lei
20%

Preț: 477^.50 lei
20%

Preț: 465^.18 lei
20%

Preț: 203^.41 lei
20%

Preț: 344^.57 lei
20%

Preț: 498^.80 lei
20%

Preț: 427^.72 lei
20%

Preț: 322^.59 lei
20%

Preț: 357^.81 lei
20%

Preț: 433^.69 lei
20%

Preț: 424^.31 lei
20%

Preț: 471^.42 lei
20%

Preț: 1195^.94 lei
20%

Preț: 640^.73 lei
17%

Preț: 396^.81 lei
17% $The Discrete Math Workbook: A Companion Manual for Practical Study$

Preț: 397^.00 lei
20%

Preț: 519^.56 lei
20%

Preț: 331^.62 lei
20%

Preț: 458^.32 lei
15%

Preț: 612^.99 lei
20%

Preț: 398^.81 lei
20%

Preț: 317^.85 lei
20%

Preț: 343^.23 lei
20%

Preț: 174^.78 lei
Preț: 371^.20 lei
20%

Preț: 379^.50 lei
20%

Preț: 515^.99 lei
20%

Preț: 760^.45 lei
20%

Preț: 337^.48 lei
20%

Preț: 335^.61 lei
20%

Preț: 597^.20 lei
20%

Preț: 367^.88 lei
20%

Preț: 565^.51 lei
23%

Preț: 786^.73 lei
20%

Preț: 312^.92 lei
20%

Preț: 191^.74 lei
20%

Preț: 572^.82 lei
20%

Preț: 570^.58 lei
Preț: 491^.62 lei
20%

Preț: 396^.16 lei
20%

Preț: 367^.51 lei

Preț: 401^.49 lei

Nou

Puncte Express: 602

:
71^.03€ • 82^.88$ • 62^.10£

Carte tipărită la comandă

Livrare economică 13-19 ianuarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780387987170
ISBN-10: 0387987177
Pagini: 191
Ilustrații: XII, 191 p. 2 illus.
Dimensiuni: 178 x 235 x 13 mm
Greutate: 0.55 kg
Ediția:2001
Editura: Springer
Colecția Springer
Seria Texts in Computer Science

Locul publicării:New York, NY, United States

Public țintă

Graduate

Cuprins

1 Processes.- 2 Modalities and Capabilities.- 3 Bisimulations.- 4 Temporal Properties.- 5 Modal Mu-Calculus.- 6 Verifying Temporal Properties.- 7 Exposing Structure.- References.

Papetărie, jocuri, reviste