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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.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 Carte broșată
Carte Proof and System-Reliability Helmut Schwichtenberg
Codul Libristo: 01414794
Editura Springer-Verlag New York Inc., mai 2002
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent... Descrierea completă
? points 132 b
285.03 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Delfini, vessilli, cannonate. Autobiografia letteraria Eraldo Affinati / Carte Carte broșată
common.buy 146.72 lei
La Dragonne au cœur de pierre Véronique MASSENOT / Carte Copertă tare
common.buy 107.34 lei
L'architecture de terre crue en Bas-Quercy STADNICKY / Carte Carte broșată
common.buy 59.74 lei
Le processus psychique et la théorie freudienne Bernat / Carte Carte broșată
common.buy 147.55 lei
La Ballade du voleur au Whisky Julian Rubinstein / Carte Carte broșată
common.buy 64.73 lei
Melanges Pierre Lambert Consacres a Huysmans Pierre Cogny / Carte Carte broșată
common.buy 198.89 lei
Ask Barselonada Bekler Ugur Becerikli / Carte Carte broșată
common.buy 110.97 lei
Nomada ETXEBERRIA / Carte Carte broșată
common.buy 129.37 lei
La crisis : salir de la crisis del capitalismo o salir del capitalismo en crisis Samir Amin / Carte Carte broșată
common.buy 144.33 lei
Histoire Du Chat Et de La Souris Qui Devinrent Amis Sepulveda Luis / Carte Carte broșată
common.buy 78.13 lei
Codex Diplomaticus Aevi Saxonici John Mitchell Kemble / Carte Carte broșată
common.buy 255.31 lei
Sag es treffender! (Krach, bumm, bäng!) Karin Pfeiffer / Carte Foaie
common.buy 41.97 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 - Carte broșată
Data publicării 2002
Număr pagini 415
EAN 9781402006081
ISBN 140200608X
Codul Libristo 01414794
Editura Springer-Verlag New York Inc.
Greutatea 1320
Dimensiuni 155 x 235 x 24

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Geometry of Hamiltonian Systems Tudor Ratiu / Carte Carte broșată
common.buy 568.52 lei
Top
Blue Lock Season 1 Part 1 Manga Box Set Yusuke Nomura / Carte Carte broșată
common.buy 302.91 lei
Versace Catwalk TIM BLANKS / Carte Copertă tare
common.buy 380.64 lei
Our Bucket List Kep Journals / Carte Carte broșată
common.buy 39.58 lei
LaTeX 2e Karl Berry / Carte Carte broșată
common.buy 62.13 lei
A Garland for Girls Louisa May Alcott / Carte Carte broșată
common.buy 36.98 lei
Old Age Pensions: Their Actual Working and Ascertained Results in the United Kingdom. H J Hoare / Carte Carte broșată
common.buy 103.18 lei
Nickel Package David Chill / Carte Carte broșată
common.buy 91.54 lei
Nature and Cities - The Ecological Imperative in Urban Design and Planning Frederick R. Steiner / Carte Copertă tare
common.buy 444.65 lei
Ruhetag, The Day to Day Life of the German Soldier in WWII, Volume II: Morale and Welfare Jimmy L. Pool / Carte Copertă tare
common.buy 236.92 lei
For the Last Time, "Who's There?": Thousands of Jokes for Absolutely Everyone Michael Kilgarriff / Carte Carte broșată
common.buy 46.13 lei
Zen Baggage Bill Porter / Carte Carte broșată
common.buy 77.20 lei
Cruising Attitude Heather Poole / Carte Carte broșată
common.buy 75.54 lei
Early Cinema Simon Popple / Carte Carte broșată
common.buy 138.51 lei
Oracle Database 10g High Availability with RAC, Flashback & Data Guard Matthew Hart / Carte Carte broșată
common.buy 271.52 lei
Large-Scale Brain Systems and Neuropsychological Testing Leonard F. Koziol / Carte Copertă tare
common.buy 455.04 lei
Top
Batman The Long Halloween: The Last Halloween Jeph Loeb / Carte Copertă tare
common.buy 156.90 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?