Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings: Lecture Notes in Computer Science, cartea 11918
Editat de Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifaen Limba Engleză Paperback – 15 noi 2019
The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 571.63 lei - 20%
Preț: 336.71 lei - 20%
Preț: 333.46 lei - 20%
Preț: 662.76 lei - 20%
Preț: 330.23 lei - 20%
Preț: 747.79 lei - 20%
Preț: 438.67 lei - 20%
Preț: 369.12 lei - 20%
Preț: 315.76 lei - 20%
Preț: 584.40 lei - 20%
Preț: 148.66 lei - 20%
Preț: 122.89 lei - 20%
Preț: 315.18 lei - 20%
Preț: 256.26 lei - 20%
Preț: 1040.03 lei - 20%
Preț: 504.56 lei -
Preț: 402.62 lei - 20%
Preț: 346.40 lei - 20%
Preț: 301.94 lei - 20%
Preț: 237.99 lei - 5%
Preț: 365.59 lei - 20%
Preț: 309.89 lei - 20%
Preț: 321.95 lei - 20%
Preț: 310.25 lei - 20%
Preț: 334.68 lei -
Preț: 373.56 lei - 20%
Preț: 172.68 lei - 20%
Preț: 1386.07 lei - 20%
Preț: 315.76 lei - 20%
Preț: 1003.66 lei - 20%
Preț: 444.17 lei - 20%
Preț: 567.60 lei - 20%
Preț: 632.22 lei - 17%
Preț: 360.18 lei - 20%
Preț: 538.28 lei - 20%
Preț: 335.08 lei - 20%
Preț: 307.68 lei - 20%
Preț: 343.16 lei - 20%
Preț: 641.78 lei - 20%
Preț: 579.56 lei - 20%
Preț: 1053.45 lei - 15%
Preț: 568.74 lei -
Preț: 389.47 lei - 20%
Preț: 333.46 lei - 20%
Preț: 607.38 lei - 20%
Preț: 326.97 lei
Preț: 339.13 lei
Preț vechi: 423.92 lei
-20% Nou
Puncte Express: 509
Preț estimativ în valută:
64.90€ • 68.43$ • 54.03£
64.90€ • 68.43$ • 54.03£
Carte tipărită la comandă
Livrare economică 11-25 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030349677
ISBN-10: 3030349675
Pagini: 400
Ilustrații: XVII, 554 p. 1489 illus., 92 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.79 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 3030349675
Pagini: 400
Ilustrații: XVII, 554 p. 1489 illus., 92 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.79 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering
Locul publicării:Cham, Switzerland