Programming with Higher-Order Logic av Dale Miller, Gopalan Nadathur, Gopalan Nadathur | Klarna Sverige

Programming with Higher-Order Logic av Dale Miller, Gopalan Nadathur, Gopalan Nadathur

Kategori

Hardback

Butik

Bokus

Varumärke

Dale Miller Gopalan Nadathur G

Formal systems in computer science frequently involve specifications of computations over syntactic structures. In this book, the authors develop a programming language based on a simply typed version of higher-order logic and show that it provide...

624 SEK

Rekommendationer

Bokus

Endotoxins av Kevin L Williams, Kevin L Williams

2755 SEK

Bokus

Accidental Intolerance av Susan C C Hawthorne, Susan C C Hawthorne

798 SEK

Bokus

Economists in the Cold War av Alan Bollard, Alan Bollard

426 SEK

Bokus

Training Strategies for Dressage Riders av Charles De Kunffy, Charles de Kunffy

436 SEK

Bokus

Private International Law in Commonwealth Africa av Richard Frimpong Oppong, Richard Frimpong Oppong

1259 SEK

Bokus

Procedures in Cosmetic Dermatology: Botulinum Toxin av Alastair Carruthers, Jean Carruthers, Jeffrey S Dover, Murad Alam, Omer Ibrahim

1219 SEK

Bokus

Particle Penetration and Radiation Effects Volume 2 av Peter Sigmund

2472 SEK

Bokus

Programming with Higher-Order Logic av Dale Miller, Gopalan Nadathur, Gopalan Nadathur

624 SEK

Bokus

Harry Potter: Chocolate Frog Sticky Notepad av Insights

99 SEK

Bokus

Jack Hinson's One-Man War av Tom McKenney

309 SEK

Bokus

Lyotard, Beckett, Duras, and the Postmodern Sublime av Andrew Slade, Tamara Alvarez-Detrell, Michael G Paulson

758 SEK

Choose your language and region

Klarna is available around the world with a variable offering, choose one that suits you best.

Copyright © 2005-2024 Klarna Bank AB (publ). Headquarters: Stockholm, Sweden. All rights reserved. Klarna Bank AB (publ). Sveavägen 46, 111 34 Stockholm. Organization number: 556737-0431