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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Proof and System-Reliability

Limba englezăengleză
Carte Copertă tare
Carte Proof and System-Reliability Helmut Schwichtenberg
Codul Libristo: 01414793
Editura Springer Netherlands, noiembrie 2001
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent... Descrierea completă
? points 292 b
634.59 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Top
Superthings Ultra Striker Enigma / Joc / Jucărie Jucărie
common.buy 115.50 lei
Die Diktatur des Rechts - eine Analyse der operativen Funktionsweise der Bundesrepublik Deutschland inklusive Maßnahmen zur Verbesserung Jonathan Misler / Carte Carte broșată
common.buy 100.07 lei
LE PETIT PRINCE (EN CORÉEN) Antoine de Saint-Exupéry / Carte Carte broșată
common.buy 120.51 lei
Ne jamais s'additionner aux addictions, mieux vaut se soustraire Miss Sandra Dumeix / Carte Carte broșată
common.buy 91.84 lei
Espresso Espresso Various / Audio Audio CD
common.buy 91.42 lei
Etudes d'Ethnographie Prehistorique Piette-E / Carte Carte broșată
common.buy 75.37 lei
Fit durchs Studium. Erstellung eines Trainings- und Ernahrungsleitfadens fur Studentinnen Lorie Lingmann / Carte Carte broșată
common.buy 213.19 lei
Ropa de fuego Marcos Herrera / Carte Carte broșată
common.buy 91.01 lei
Jezyk szwedzki na co dzien z plyta CD / Carte Carte broșată
common.buy 44.09 lei
Infrarouge Nancy Huston / Carte Carte broșată
common.buy 50.55 lei
Linnaea Entomologica. Entomologischer Verein in Stettin / Carte Carte broșată
common.buy 157.00 lei
Lettre A Un Electeur Du Departement Du Nord, Sur Les Elections de 1818 Sans Auteur / Carte Carte broșată
common.buy 80.37 lei
Compendium Theologiae Christianae, Accurata Methodo Sic Adornatum, UT Sit Ad Ss. Scripturas Legendas, ... Manuductio Johannes Wolleb / Carte Carte broșată
common.buy 135.42 lei
Abitur Und Matura Im Wandel Jochen Kramer / Carte Carte broșată
common.buy 287.84 lei

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. §This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.

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 Proof and System-Reliability
Autor Helmut Schwichtenberg, Ralf Steinbrüggen
Limba engleză
Legare Carte - Copertă tare
Data publicării 2002
Număr pagini 415
EAN 9781402006074
Codul Libristo 01414793
Editura Springer Netherlands
Greutatea 810
Dimensiuni 160 x 240 x 29

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Medicine & Nursing > Medicine: general issues
Computing & Information Technology > Computer science
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

Oxygen Transport to Tissue XLIV Felix Scholkmann / Carte Copertă tare
common.buy 1 718.43 lei
Dealings with the Dead: The Human Soul, Its Migrations and Its Transmigrations Paschal Beverly Randolph / Carte Carte broșată
common.buy 179.31 lei
Pivotal Moments CHERYL LABRUZZO / Carte Copertă tare
common.buy 138.96 lei
Netherlands Investment and Business Guide Volume 1 Strategic and Practical Information Inc Ibp / Carte Carte broșată
common.buy 455.90 lei
Empyrean Stories: Short Tales of Empyrean Dreams Nathan Large / Carte Carte broșată
common.buy 58.37 lei
The Peach-Tree Borer (1899) Mark Vernon Slingerland / Carte Carte broșată
common.buy 86.42 lei
Nana the Great Goes Camping David Hohn / Carte Copertă tare
common.buy 58.37 lei
The Liturgy of the Church Virgil Michel / Carte Carte broșată
common.buy 132.39 lei
Manual of Maritime Law Rocco / Carte Carte broșată
common.buy 97.47 lei
Agenda for a New Economy: From Phantom Wealth to Real Wealth David Korten / Carte Carte broșată
common.buy 85.06 lei
Enforcement of the Statutes of Labourers During the First Decade after the Black Death 1349 - 1359 Bertha Haven Putnam / Carte Carte broșată
common.buy 202.97 lei
Glaucoma Basics and Examination Paul Schacknow / Carte Carte broșată
common.buy 490.20 lei
Scarlet Letter Nathaniel Hawthorne / Carte Carte broșată
common.buy 46.49 lei
Epistemic Relativism Markus Seidel / Carte Copertă tare
common.buy 307.23 lei
History of Natural Philosophy Edward Grant / Carte Carte broșată
common.buy 220.80 lei
Top
Sneetches and Other Stories Dr. Seuss / Carte Copertă tare
common.buy 77.24 lei
James Herbert - The Authorised True Story Craig Cabell / Carte Carte broșată
common.buy 85.79 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?