Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Língua InglêsInglês
Livro Livro de capa dura
Livro Computational Logic and Set Theory Jacob T. Schwartz
Código Libristo: 01400064
Editoras Springer London Ltd, julho 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Descrição completa
? points 115 b
47.74 €
Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Livro Capa mole
common.buy 22.55 €
libro che fa musica! / Livro Livro concertina
common.buy 20.22 €
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Livro Capa mole
common.buy 7.88 €
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Livro Capa mole
common.buy 40.76 €
Der Balkan: Mission Possible Maria Todorova / Livro Capa mole
common.buy 25.28 €
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Livro Livro de capa dura
common.buy 31.45 €
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Livro Capa mole
common.buy 27.00 €
Černý Petr: Auta / Artigos impressos Cartões
common.buy 1.41 €
Slávna 5 vo víre dobrodružstiev Enid Blyton / Livro Capa mole
common.buy 8.49 €
Kdo to ví, odpoví! Sluneční soustava / Livro binding.
common.buy 5.45 €
Kleopatra Paul Heyse / Livro Livro de capa dura
common.buy 21.03 €
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Livro Capa mole
common.buy 15.77 €
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Livro Capa mole
common.buy 25.58 €
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Livro Capa mole
common.buy 93.76 €
Rico, rico y con fundamento Arguiñano / Livro Capa mole
common.buy 21.94 €
Legendes Du Moyen Age 3e Edition Paris-G / Livro Capa mole
common.buy 22.85 €
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Livro Capa mole
common.buy 12.33 €
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Livro Capa mole
common.buy 11.42 €
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Livro Capa mole
common.buy 22.04 €
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Livro Livro de capa dura
common.buy 62.20 €
Schule und Erziehung im Nationalsozialismus Marc Hoffmann / Livro Capa mole
common.buy 15.26 €
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Livro Livro de capa dura
common.buy 57.85 €
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Livro Capa mole
common.buy 38.73 €
Au coeur d'une histoire Philippe Klein / Livro Capa mole
common.buy 14.46 €

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.§This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Computational Logic and Set Theory
Autor Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2011
Número de páginas 416
EAN 9780857298072
ISBN 0857298070
Código Libristo 01400064
Editoras Springer London Ltd
Peso 824
Dimensões 166 x 243 x 30

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Raw Materials And International Control H.R.G. Greaves / Livro Capa mole
common.buy 47.74 €
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Livro Capa mole
common.buy 46.12 €
Gospels as Historical Documents, Part III Vincent Henry Stanton / Livro Capa mole
common.buy 20.83 €
Health in All Policies: Training Manual Health Organization World / Livro Capa mole
common.buy 58.16 €
catalogue of the Melbourne Public Library for 1861 Anonymus / Livro Capa mole
common.buy 36.91 €
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Livro Livro de capa dura
common.buy 30.24 €
Fuel Cells and Hydrogen Viktor Hacker / Livro Capa mole
common.buy 240.24 €
Historicizing Theories, Identities, and Nations Regna Darnell / Livro Capa mole
common.buy 39.24 €
Under a Mexican Moon Taylor Clark / Livro Capa mole
common.buy 8.69 €
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Livro Capa mole
common.buy 11.02 €
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Livro Capa mole
common.buy 5.65 €
Principal
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Livro Capa mole
common.buy 9.30 €
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Livro Livro de capa dura
common.buy 205.24 €
Hubris AKINTUNDE AKINKUNMI / Livro Capa mole
common.buy 20.02 €
Return to Dyatlov Pass J H Moncrieff / Livro Capa mole
common.buy 9.30 €
Tragic Rhetoric Bruce Heiden / Livro Livro de capa dura
common.buy 46.62 €
A Big Little Butterfly Hug Dominic Burkhalter / Livro Capa mole
common.buy 8.08 €
Data Visualization with Python for Beginners AI Publishing / Livro Capa mole
common.buy 21.44 €
Chinese Medicine Guidebook Essential Oils to Balance the 5 Elements & Organ Meridians Kg Stiles / Livro Capa mole
common.buy 18.30 €
Selected Poems, Ed. by E. Gosse Thomas Gray / Livro Capa mole
common.buy 13.85 €
Heralds of a Liberal Faith, Volume 3 Samuel Atkins Eliot / Livro Capa mole
common.buy 21.64 €
His True North A. M. Kusi / Livro Capa mole
common.buy 14.96 €
FreeCAD for architectural drawing: Create technical drawings with a free and open-source CAD Allan Brito / Livro Capa mole
common.buy 20.12 €
Poly(ADP-Ribose) Polymerase Alexei V. Tulin / Livro Livro de capa dura
common.buy 209.08 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?