Interactive Theorem Proving de Jasmin Christian Blanchette

Interactive Theorem Proving: Lecture Notes in Computer Science, cartea 9807

Editat de Jasmin Christian Blanchette, Stephan Merz

en Limba Engleză Paperback – 7 aug 2016

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.

The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Citește tot Restrânge

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ț: 333^.41 lei

Preț vechi: 416^.76 lei
-20%

Puncte Express: 500

:
58^.96€ • 67^.61$ • 50^.95£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783319431437
ISBN-10: 3319431439
Pagini: 520
Ilustrații: XVII, 502 p. 88 illus.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.78 kg
Ediția:1st edition 2016
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland