Piton: A Mechanically Verified Assembly-Level Language: Automated Reasoning Series, cartea 3
Autor J Strother Mooreen Limba Engleză Paperback – 3 oct 2013
Preț: 316.66 lei
Preț vechi: 395.83 lei
-20% Nou
Puncte Express: 475
Preț estimativ în valută:
60.64€ • 65.48$ • 50.51£
60.64€ • 65.48$ • 50.51£
Carte tipărită la comandă
Livrare economică 06-20 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789401737913
ISBN-10: 9401737916
Pagini: 332
Ilustrații: VIII, 320 p. 18 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Automated Reasoning Series
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401737916
Pagini: 332
Ilustrații: VIII, 320 p. 18 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Automated Reasoning Series
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
and History.- The Nqthm Logic.- An Informal Sketch of Piton.- Big Number Addition.- A Sketch of FM9001.- The Correctness of Piton on FM9001.- The Implementation of Piton on FM9001.- Proof of the Correctness Theorem.