Structured Object-Oriented Formal Language and Method: Lecture Notes in Computer Science, cartea 11392
Editat de Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoyaen Limba Engleză Paperback – 9 feb 2019
Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (3) | 317.47 lei 43-57 zile | |
| Springer – 9 feb 2019 | 317.47 lei 43-57 zile | |
| Springer – 18 apr 2018 | 318.69 lei 43-57 zile | |
| Springer – 21 apr 2017 | 319.70 lei 43-57 zile |
Din seria Lecture Notes in Computer Science
- 20%
Preț: 733.68 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 449.81 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 850.42 lei - 20%
Preț: 386.08 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 620.33 lei - 20%
Preț: 620.33 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 435.28 lei - 20%
Preț: 748.63 lei - 20%
Preț: 633.70 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 675.83 lei - 20%
Preț: 678.21 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 560.93 lei - 20%
Preț: 556.96 lei - 20%
Preț: 313.10 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 15%
Preț: 558.12 lei - 20%
Preț: 563.29 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 20%
Preț: 562.49 lei - 15%
Preț: 672.87 lei - 20%
Preț: 571.88 lei - 20%
Preț: 478.59 lei - 20%
Preț: 984.64 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei - 20%
Preț: 313.87 lei - 20%
Preț: 314.86 lei - 20%
Preț: 793.92 lei - 18%
Preț: 945.44 lei
Preț: 317.47 lei
Preț vechi: 396.84 lei
-20%
Puncte Express: 476
Preț estimativ în valută:
56.14€ • 64.37$ • 48.52£
56.14€ • 64.37$ • 48.52£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783030136505
ISBN-10: 3030136507
Pagini: 208
Ilustrații: VIII, 197 p. 107 illus., 33 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:1st ed. 2019
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3030136507
Pagini: 208
Ilustrații: VIII, 197 p. 107 illus., 33 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:1st ed. 2019
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Programming and testing.- Verification and validation.- Semantics.- Blockchain.
Caracteristici
Includes supplementary material: sn.pub/extras Includes supplementary material: sn.pub/extras