Modal and Temporal Properties of Processes de Colin Stirling

Modal and Temporal Properties of Processes: Texts in Computer Science

en Limba Engleză Paperback – 9 oct 2011

Toate formatele și edițiile

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

Din seria Texts in Computer Science

20%

Preț: 306^.35 lei
17%

Preț: 366^.69 lei
20% $The Discrete Math Workbook: A Companion Manual Using Python$

Preț: 474^.58 lei
20%

Preț: 370^.22 lei
20%

Preț: 370^.59 lei
20%

Preț: 1244^.39 lei
20%

Preț: 675^.35 lei
20%

Preț: 441^.70 lei
20%

Preț: 503^.87 lei
20%

Preț: 409^.70 lei
20%

Preț: 417^.80 lei
20%

Preț: 460^.78 lei
20%

Preț: 515^.34 lei
20%

Preț: 305^.30 lei
20%

Preț: 406^.21 lei
20%

Preț: 411^.53 lei
20%

Preț: 444^.93 lei
15%

Preț: 637^.58 lei
20%

Preț: 356^.82 lei
20%

Preț: 181^.92 lei
20%

Preț: 330^.42 lei
20%

Preț: 394^.57 lei
20%

Preț: 621^.18 lei
20%

Preț: 743^.62 lei
20%

Preț: 350^.86 lei
20%

Preț: 663^.45 lei
Preț: 457^.75 lei
20%

Preț: 536^.66 lei
20%

Preț: 358^.24 lei
20%

Preț: 344^.76 lei
20%

Preț: 339^.95 lei
20%

Preț: 348^.89 lei
20%

Preț: 588^.21 lei
20%

Preț: 199^.57 lei
20%

Preț: 341^.30 lei
23%

Preț: 726^.93 lei
20%

Preț: 325^.30 lei
20%

Preț: 595^.80 lei
20%

Preț: 593^.48 lei
Preț: 454^.30 lei
20%

Preț: 411^.92 lei
20%

Preț: 339^.62 lei

Preț: 385^.84 lei

Nou

Puncte Express: 579

:
73^.84€ • 76^.89$ • 62^.41£

Carte tipărită la comandă

Livrare economică 11-25 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781441931535
ISBN-10: 1441931538
Pagini: 204
Ilustrații: XII, 191 p. 2 illus.
Dimensiuni: 178 x 254 x 11 mm
Greutate: 0.36 kg
Ediția:Softcover reprint of the original 1st ed. 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