Crc press singapore (1 risultati)

- Rilegato
Da: Literary Cat Books, Machynlleth, Powys, WALES, Regno UnitoLiterary Cat Books
Contatta il venditoreVenditore con 3 stelleMembro dell’associazione: IOBA
Condizione: Usato - Molto buono
EUR 67,13
EUR 17,46 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Very Good+. No Dust Jacket. (?); (?). Small peice of loose paper declaring that this book is a review copy. Plus a loose packing slip. Very minor shelfwear.; *Semantics of Programming Languages and Model Theory* (Algebra, Logic and Applications, Vol. 5) delves into the relationship between programming lang…uage semantics and model theory. The book focuses on formal methods for understanding programming languages using logical and algebraic frameworks. It covers topics such as denotational semantics, algebraic structures, and model-theoretic techniques, providing theoretical foundations for how programming languages are interpreted and analyzed. It is a valuable resource for researchers and students interested in the intersection of logic, algebra, and computer science.; 15.7 x 23. 2 x 3.2 cm; vii, 366 pages.