Mathematical Logic for Computer Science

Name: Mathematical Logic for Computer Science
Price: 99.00 DKK
Availability: InStock
ISBN: SI2364948

M. Ben-Ari

Brugt bog

Format
Bog, paperback, brugt
Engelsk

Stand
Ny og næsten fejlfri

Pris: kr. 99,00

Leveringstid: 4-6 hverdage
Forventet levering: 28-11-2024

Beskrivelse

Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic. 1, black & white illustrations

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal318
Udgivelsesdato27-04-2001
ISBN13SI2364948
Forlag Springer London Ltd
FormatPaperback
UdgaveSoftcover reprint of the original 2nd ed. 2001

Sælgerinfo

Sælger ID90753

Størrelse og vægt

Vægt1000 g

Dybde1,7 cm

10 cm

15,5 cm

23,5 cm