Edinburgh LCF: A Mechanized Logic of Computation de M. Gordon

Edinburgh LCF: A Mechanized Logic of Computation: Lecture Notes in Computer Science, cartea 78

Autor M. Gordon, R. Milner, C.P. Wadsworth

en Limba Engleză Paperback – dec 1979

Din seria Lecture Notes in Computer Science

Preț: 139^.92 lei

Preț vechi: 174^.90 lei
-20% Nou

Puncte Express: 210

:
26^.78€ • 27^.85$ • 22^.11£

Carte tipărită la comandă

Livrare economică 14-28 aprilie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540097242
ISBN-10: 3540097244
Pagini: 172
Ilustrații: VIII, 161 p.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.25 kg
Ediția:1979
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

ML.- PPLAMBDA.