Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

The Calculus of Computation

Decision Procedures with Applications to Verification

Limba englezăengleză
Carte Carte broșată
Carte The Calculus of Computation Aaron R. Bradley
Codul Libristo: 01654261
Editura Springer, Berlin, noiembrie 2009
This textbook introduces computational logic from the foundations of first-order logic to state-of-t... Descrierea completă
? points 129 b
282.47 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Die Logik des Experiments in den Sozialwissenschaften. Wigand Siebel / Carte Carte broșată
common.buy 368.78 lei
Top
Рунический оракул Волюспа / Carte Cărți pliante
common.buy 92.71 lei
Surcando La Tierra Hernan Enriquez Rosas / Carte Carte broșată
common.buy 157.77 lei
Metodologias activas en el uso de las redes sociales Silvia Lavandera Ponce / Carte Carte broșată
common.buy 399.05 lei
Multimedialität in computergestützten Lehrangeboten (E-Learning) Victoria Viererbe / Carte Carte broșată
common.buy 340.12 lei
Ergebnisse Der Exakten Naturwissenschaften NA Schriftleitung der "Naturwissenschaften" / Carte Carte broșată
common.buy 310.74 lei
Titeuf 17: Titeuf 17 Marcel Le Comte / Carte Carte broșată
common.buy 63.54 lei
Los antecedentes históricos del "Pienso, luego existo": Estudio preliminar, traducción y notas de Jesús del Valle Cortés. / Carte Carte broșată
common.buy 109.12 lei
Die Berner Bilderhandschrift aus der Zeit um 1813/14 / Carte Copertă tare
common.buy 394.64 lei
BABY MONTESSORI. FORMAS AGNESE BARUZZI / Carte Copertă tare
common.buy 55.83 lei
Rencontres d’un troisième type Mothes / Carte Carte broșată
common.buy 104.04 lei
Die Anfange Roms erzahlen Johannes Zenk / E-book Adobe ePub DRM
common.buy 644.99 lei
Eloge de Pierre Gratiolet, Prononce Le 4 Mai 1866 A La Seance Publique Annuelle de la Societe Bert-P / Carte Carte broșată
common.buy 67.05 lei
ultimative Eherettungs-Buch Wolf W Lasko / Carte Copertă tare
common.buy 96.02 lei
Creación de empresas / Carte Carte broșată
common.buy 39.89 lei
Restwärme Kerstin Preiwuß / Carte Copertă tare
common.buy 103.64 lei
Mancini Mazarin dernier Duc de Nevers 1716-1798 Une injustice de l'histoire Beaud-Ladoire / Carte Carte broșată
common.buy 145.94 lei
Masques à gratter Eugénie Varone / Carte Carte broșată
common.buy 53.42 lei
Karty do gry talia pojedyńcza Wheels / Materiale tipărite Cărți
common.buy 22.14 lei
Modeles Aleatoires Jean-François Delmas / Carte Carte broșată
common.buy 345.82 lei
La universidad fértil : Mujeres y hombres, una apuesta política Remei Arnaus i Morral / Carte Carte broșată
common.buy 147.74 lei
Anna Sacher und ihr Hotel Monika Czernin / Carte Carte broșată
common.buy 51.31 lei
Kritik Karl Schneidt / Carte Carte broșată
common.buy 205.08 lei
Kooperative Lernmethoden nach Norm Green Jochen Schumacher / Carte Carte broșată
common.buy 90.70 lei

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet The Calculus of Computation
Autor Aaron R. Bradley, Zohar Manna
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 366
EAN 9783642093470
ISBN 3642093477
Codul Libristo 01654261
Editura Springer, Berlin
Greutatea 587
Dimensiuni 155 x 235 x 20

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Fluid Borders Lisa Garcia Bedolla / Carte Carte broșată
common.buy 198.37 lei
Earth Magic Marie D. Jones / Carte Carte broșată
common.buy 112.46 lei
Legacies of a Hawaiian Generation Judith Schachter / Carte Carte broșată
common.buy 218.31 lei
Robert L Johnson Annie Buckley / Carte Copertă tare
common.buy 152.06 lei
Romeo and Juliet, w. Audio-CD William Shakespeare / Carte Carte broșată
common.buy 84.99 lei
Kids Larry Clark / Videoclip Blu-ray
common.buy 105.23 lei
Book of Sides II: Original, Two-Page Scenes for Actors and Directors KOST / Carte Carte broșată
common.buy 300.91 lei
The Long Journey Home Robert B Kocur / Carte Carte broșată
common.buy 82.81 lei
Delaware Rental Property Management How To Start A Property Management Business Brian Mahoney / Carte Carte broșată
common.buy 72.56 lei
The Night Before Christmas: A Visit from St. Nicholas Donald Robb / Carte Carte broșată
common.buy 82.60 lei
Project Management Essentials Kathryn N Wells / Carte Carte broșată
common.buy 97.32 lei
Happy 16th Birthday Guest Book (Hardcover) Lulu and Bell / Carte Copertă tare
common.buy 122.68 lei
Guinevere's Child Marie True Evans / Carte Copertă tare
common.buy 167.59 lei
Proceedings of the Seventh International Symposium on High-Level Synthesis: May 18-20, 1994, Niagara-On-The-Lake, Ontario, Canada ACM Special Interest Group on Design Aut / Carte Carte broșată
common.buy 248.56 lei
Flesh of the Sun, Life Above the Ground Barbara Blanks / Carte Carte broșată
common.buy 60.23 lei
One Left Inside the Well Skyler Nielsen / Carte Carte broșată
common.buy 122.28 lei
Popular Lectures On Biblical Criticism And Interpretation (1829) William Carpenter / Carte Carte broșată
common.buy 218.04 lei
Contes Bourgeois (1885) Theodore De Banville / Carte Carte broșată
common.buy 191.73 lei
Filmes biodegradaveis de batata e resina de aloe vera ANGEL RIVERA / Carte Carte broșată
common.buy 200.07 lei
Junk of Space: Space Junk - Space Junk Around Earth - Junk Space MD Sabbir Ahmed / Carte Carte broșată
common.buy 77.34 lei
USS Kidd (DD-661): From WWII and Korea to Museum Ship David Doyle / Carte Copertă tare
common.buy 104.07 lei
The 13-Story Treehouse (Special Collector's Edition): Monkey Mayhem! Terry Denton / Carte Copertă tare
common.buy 78.48 lei
Making of a Smart City in Korea Hojeong Lee / Carte Copertă tare
common.buy 671.00 lei
Top
Notes From the Underground Constance Garnett / Carte Carte broșată
common.buy 67.25 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?