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.

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Tests and Proofs Dirk Beyer
Codul Libristo: 24519984
Editura Springer Nature Switzerland AG, septembrie 2019
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Pro... Descrierea completă
? points 132 b
284.54 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 Welt der Schlümpfe - Die Ferienschlümpfe. Bd.7 Max Murmel / Carte Copertă tare
common.buy 70.84 lei
Disney MM Refresh Core, Mickey, 25cm / Joc / Jucărie Joc
common.buy 78.41 lei
Les miznúcich hviezd Kristin Harmelová / Carte Copertă tare
common.buy 80.39 lei
Prévenir l'infarctus et l'accident vasculaire cérébral Michel de Lorgeril / Carte Carte broșată
common.buy 174.06 lei
Neuere Anschauungen Auf Dem Gebiete Der Anorganischen Chemie (1920) Alfred Werner / Carte Carte broșată
common.buy 209.75 lei
Planeet Vet / Carte Carte broșată
common.buy 111.92 lei
Visión, La GABRIEL HERNANDEZ / Carte Carte broșată
common.buy 94.39 lei
Einheitlichkeit der paulinischen Briefe an der Hand CARL CLEMEN / Carte Carte broșată
common.buy 94.18 lei
Indonézia Baričák Pavel "Hirax" / Carte Copertă tare
common.buy 75.20 lei
Tanrilar Okulu Stefano E. D´Anna / Carte Carte broșată
common.buy 138.06 lei
Le Theatre Francais, Mademoiselle Georges-Weimer Et l'Odeon Ferdinand De Laboullaye / Carte Carte broșată
common.buy 74.99 lei
Antropologie Dan Rhodes / Carte Carte broșată
common.buy 37.13 lei
Die UdSSR und die deutsche Frage 1941-1948. Jochen P. Laufer / Carte Copertă tare
common.buy 519.09 lei

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

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 Tests and Proofs
Autor Dirk Beyer, Chantal Keller
Limba engleză
Legare Carte - Carte broșată
Data publicării 2019
Număr pagini 207
EAN 9783030311568
Codul Libristo 24519984
Editura Springer Nature Switzerland AG
Greutatea 454
Dimensiuni 155 x 235 x 13

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

art of Anatole France Dushan Bresky / Carte Copertă tare
common.buy 600.94 lei
The Liberty Bell Mary Firestone / Carte Carte broșată
common.buy 46.67 lei
Hypnotism in Mental and Moral Culture John Duncan Quackenbos / Carte Copertă tare
common.buy 251.03 lei
Living or Dead Labor Unions .. Caroline Nelson / Carte Copertă tare
common.buy 147.50 lei
Bertha, Our Little German Cousin Mary Hazelton Blanchard Wade / Carte Carte broșată
common.buy 88.58 lei
Global Future of Higher Education and the Academic Profession Philip G. Altbach / Carte Carte broșată
common.buy 584.96 lei
Virtual Point of Freedom Lorenzo Chiesa / Carte Carte broșată
common.buy 205.91 lei
This Is Your Mind On Plants Michael Pollan / Audiobook MP3
common.buy 60.26 lei
Diversity in Career Preferences For Future Health Workers in Rwanda World Bank / Carte Carte broșată
common.buy 93.97 lei
Americanization/Westernization of Austria Anton Pelinka / Carte Carte broșată
common.buy 410.68 lei
Optical Bistability III Hyatt M. Gibbs / Carte Carte broșată
common.buy 567.54 lei
Formation Of The Republican Party As A National Political Organization (1911) Saul Philip Kleeberg Gordon / Carte Carte broșată
common.buy 157.88 lei
Molecular Processes in Plasmas Yukikazu Itikawa / Carte Carte broșată
common.buy 567.54 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?