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.

Software Engineering and Formal Methods

Limba englezăengleză
Carte Carte broșată
Carte Software Engineering and Formal Methods Radu Calinescu
Codul Libristo: 38394255
Editura Springer Nature Switzerland AG, decembrie 2021
This book constitutes the refereed proceedings of the 19th International Conference on Software Engi... Descrierea completă
? points 210 b
454.85 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Alpenbahnen Berthold Steinhilber / Carte Copertă tare
common.buy 247.21 lei
Nudge. La spinta gentile. La nuova strategia per migliorare le nostre decisioni su denaro, salute, felicità. L'edizione definitiva Richard H. Thaler / Carte Carte broșată
common.buy 118.72 lei
Os escribo a vosotros, jóvenes Giraudo / Carte Carte broșată
common.buy 30.53 lei
Intelligence des limites (L') Tort / Carte Carte broșată
common.buy 162.44 lei
LES TRAJECTOIRES DU POUVOIR DANS UNE COMMUNAUTÉ MAYA K'ICHE DU GUATEMALA Tallet / Carte Carte broșată
common.buy 156.42 lei
Repubblica E Monarchia: A Giuseppe Mazzini Lettera (1865) Francesco Crispi / Carte Carte broșată
common.buy 116.53 lei
Briefe Eines Reisenden Franzosen Uber Deutschland An Seinen Bruder Zu Paris (1784) Johann Kaspar Riesbeck / Carte Carte broșată
common.buy 199.42 lei
Principales parasitosis entero-hepáticas de los rumiantes domésticos José Manuel Martínez Pérez / Carte Carte broșată
common.buy 197.66 lei
Długopis Cristal Original czarny display 50 sztuk Carte binding.
common.buy 124.12 lei
The Crown. Season.1, 4 DVDs, 4 DVD-Video Pia Di Ciaula / Videoclip DVD
common.buy 98.15 lei
Maruja Mallo : caracola con alas Luisa Antolín Villota / Carte Copertă tare
common.buy 102.72 lei
Die Psalmen II. Psalm 51 - 100 Frank-Lothar Hossfeld / Carte Carte broșată
common.buy 128.69 lei

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021.The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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 Software Engineering and Formal Methods
Autor Radu Calinescu
Limba engleză
Legare Carte - Carte broșată
Data publicării 2021
Număr pagini 522
EAN 9783030921231
ISBN 3030921239
Codul Libristo 38394255
Editura Springer Nature Switzerland AG
Greutatea 819
Dimensiuni 155 x 235 x 29

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

T.S. Eliot & Salvador Espriu : converging poetic imaginations Dídac Llorens Cubero / Carte Carte broșată
common.buy 107.70 lei
Basket of Deplorables Dennis Carstens / Carte Copertă tare
common.buy 118.51 lei
Three Lancashire Documents of the Fourteenth and Fifteenth Centuries: Comprising I. the Great de Lacy Inquisition, Feb.16, 1311. II. the Survey of 132 John Harland / Carte Carte broșată
common.buy 99.08 lei
Across the Zodiac Percy Greg / Carte Carte broșată
common.buy 49.54 lei
Meals for Your Mediterranean Diet America Best Recipes / Carte Carte broșată
common.buy 112.28 lei
Human Capital and Innovation Sumit Kundu / Carte Carte broșată
common.buy 468.76 lei
Planning Australia's Healthy Built Environments Kent / Carte Copertă tare
common.buy 1 142.79 lei
In Focus Level 2 Student's Book Naresuan University Thai Edition: A Vocabulary, Reading and Critical Thinking Skills Course Charles Browne / Carte Carte broșată
common.buy 36.34 lei
How Humans Adapt: A Biocultural Odyssey Donald J. Ortner / Carte Carte broșată
common.buy 215.21 lei
Advanced Microsystems for Automotive Applications 2007 Jürgen Valldorf / Carte Carte broșată
common.buy 833.87 lei
Animal Stories Max Evans / Carte Carte broșată
common.buy 144.27 lei
At The Heart Of The Universe Shem / Carte Copertă tare
common.buy 111.13 lei
Classification of Pseudo-reductive Groups (AM-191) Gopal Prasad / Carte Copertă tare
common.buy 1 220.59 lei
In a Town Called Mundomuerto Randall Silvis / Carte Copertă tare
common.buy 128.48 lei
Under the Gaijin Gaze: Essays on the Education & Attitudes of Japanese College Women Daniel A Metraux / Carte Carte broșată
common.buy 59.09 lei
Howard Barker: Ecstasy and Death David Ian Rabey / Carte Copertă tare
common.buy 293.74 lei
Interatomic Forces in Condensed Matter Mike Finnis / Carte Carte broșată
common.buy 453.81 lei
Self-Portrait Ray Man / Carte Carte broșată
common.buy 89.53 lei
Basic Data of Plasma Physics Sanborn / Carte Carte broșată
common.buy 681.60 lei
Generalissimo Jonathan Fenby / Carte Carte broșată
common.buy 112.90 lei
Time Management System Phd Paul Gerhardt / Carte Carte broșată
common.buy 70.52 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?