Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Computational Logic and Set Theory

Name: Computational Logic and Set Theory
Brand: Springer London Ltd
SKU: 01400064
Price: 47.81 EUR
Availability: InStock
Author: Jacob T. Schwartz
ISBN: 9780857298072

Applying Formalized Logic to Analysis

Jacob T. Schwartz

Domenico Cantone

Eugenio Omodeo

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 01400064

Založba Springer London Ltd, julij 2011

As computer software becomes more complex, the question of how its correctness can be assured grows... Celoten opis

Koda Libristo: 01400064

115 b

47.81 €

Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Ocupación terapéutica en pacientes crónicos Mora Ródenas

Mehka

23.49 €

Faktomania. 300 list dla maniaków wiedzy Pettie Andrew

Trda

35.04 €

Milostné příběhy Napoleona Bonaparta Guy Breton

Trda

0.90 €

libro che fa musica!

Kartonka

20.25 €

Babiččina bezlepková dieta Kristína Pleskačová

Preglednica

7.99 €

BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky

Mehka

24.00 €

Der Balkan: Mission Possible Maria Todorova

Mehka

27.24 €

Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker

Mehka

93.70 €

Rico, rico y con fundamento Arguiñano

Mehka

22.99 €

THIMBLE THEATRE SELECCION DE PLANCHAS DOMINICALES 1925 1930 E C SEGAR

Knjiga

65.43 €

Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier

Mehka

25.42 €

Kdo to ví, odpoví! Sluneční soustava

binding.

5.46 €

Černý Petr: Auta

Karte

1.51 €

Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes

Mehka

15.89 €

Le grand livre de la F1 Jean-Louis Moncet

Mehka

48.41 €

Kleopatra Paul Heyse

Trda

21.06 €

Slávna 5 vo víre dobrodružstiev Enid Blyton

Mehka

8.09 €

A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur

Mehka

13.06 €

Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol.

Mehka

42.84 €

Písanka 1 – Uvolňovací cviky neuvedený autor

Mehka

1.51 €

Fehleranalyse ALS Methode Der Ged chtnisforschung Günther Kebeck

Mehka

50.24 €

Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra

Mehka

11.94 €

MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY

Mehka

7.89 €

Let's Go To Outer Space Gary Wilson

Zvočni CD

14.07 €

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

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Computational Logic and Set Theory

Avtor Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo

Jezik

Angleščina

Vezava Knjiga - Trda

Datum izida 2011

Število strani 416

EAN 9780857298072

ISBN 0857298070

Koda Libristo 01400064

Založba Springer London Ltd

Teža 824

Mere 166 x 243 x 30

Kategorije

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Podarite to knjigo še danes

To je povsem preprosto

1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell

Mehka

6.37 €

James Martineau, Theologian and Teacher; A Study of his Life and Thought Joseph Estlin Carpenter

Trda

39.19 €

Souls & Salvation: The Vampire and Angel Wars Book 3 G. K. DeRosa

Mehka

14.27 €

A Big Little Butterfly Hug Dominic Burkhalter

Mehka

9.01 €

Raw Materials And International Control H.R.G. Greaves

Mehka

53.07 €

Return to Dyatlov Pass J H Moncrieff

Mehka

9.82 €

Hubris AKINTUNDE AKINKUNMI

Mehka

21.16 €

Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff

Trda

228.02 €

A Woman's Inspiration: A book of poems to inspire women MS Marlo Miller

Mehka

14.98 €

MY Life And Work: The Autobiography Of Henry Ford Henry Ford

Mehka

9.82 €

Data Visualization with Python for Beginners AI Publishing

Mehka

22.68 €

Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett

Mehka

12.35 €

The Study of Cases: A Course of Instruction in Reading and Stating Reported Cases, Composing Head-Notes and Briefs, Criticising and Compar Eugene Wambaugh

Mehka

23.59 €