Formal Description Techniques VII de D. Hogrefe

Formal Description Techniques VII: IFIP Advances in Information and Communication Technology

en Limba Engleză Hardback – 28 feb 1995

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Citește tot Restrânge

Din seria IFIP Advances in Information and Communication Technology

20%

Preț: 170^.50 lei
20%

Preț: 615^.72 lei
20%

Preț: 333^.46 lei
Preț: 389^.39 lei
20%

Preț: 329^.26 lei
20%

Preț: 334^.10 lei
20%

Preț: 503^.39 lei
17%

Preț: 523^.38 lei
20%

Preț: 502^.04 lei
17%

Preț: 488^.94 lei
20%

Preț: 501^.03 lei
20%

Preț: 403^.18 lei
20%

Preț: 1162^.08 lei
20%

Preț: 1262^.11 lei
18%

Preț: 1202^.31 lei
20%

Preț: 1255^.99 lei
18%

Preț: 1199^.35 lei
18%

Preț: 933^.71 lei
18%

Preț: 933^.88 lei
18%

Preț: 925^.84 lei
18%

Preț: 929^.07 lei
15%

Preț: 632^.42 lei
18%

Preț: 940^.66 lei
20%

Preț: 1261^.97 lei
20%

Preț: 978^.45 lei
18%

Preț: 930^.00 lei
20%

Preț: 1257^.76 lei
20%

Preț: 975^.71 lei
15%

Preț: 632^.73 lei
20%

Preț: 1250^.82 lei
20%

Preț: 1883^.92 lei
20%

Preț: 1259^.86 lei
18%

Preț: 937^.29 lei
18%

Preț: 927^.55 lei
18%

Preț: 1199^.52 lei
20%

Preț: 1251^.96 lei
18%

Preț: 933^.71 lei
18%

Preț: 928^.77 lei
20%

Preț: 1266^.32 lei
18%

Preț: 936^.81 lei
20%

Preț: 632^.73 lei
18%

Preț: 1210^.19 lei
20%

Preț: 1258^.40 lei
18%

Preț: 1206^.05 lei
20%

Preț: 972^.96 lei
20%

Preț: 1262^.79 lei
20%

Preț: 967^.16 lei
18%

Preț: 1796^.10 lei
20%

Preț: 1265^.99 lei

Preț: 1209^.40 lei

Preț vechi: 1474^.88 lei
-18% Nou

Puncte Express: 1814

:
231^.42€ • 244^.40$ • 192^.59£

Carte tipărită la comandă

Livrare economică 11-25 ianuarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780412644504
ISBN-10: 0412644509
Pagini: 522
Ilustrații: XIV, 522 p.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.93 kg
Ediția:1995
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology

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

Public țintă

Research

Cuprins

Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.

Recenzii

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network

Papetărie, jocuri, reviste