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

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Software Engineering and Formal Methods Radu Calinescu
Codul Libristo: 09480142
Editura Springer International Publishing AG, august 2015
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz / Carte Carte broșată
common.buy 74.43 lei
PUZZLE 2x70 - Samochodziki Hot Wheels 34442 / Joc / Jucărie Puzzle
common.buy 19.49 lei
Ambicion Del Ave Fenix Oscar de Benito / Carte Carte broșată
common.buy 100.49 lei
CONTRA LA CULTURA LABRUCE / Carte Carte
common.buy 121.76 lei
Saison Anneline Dintilhac / Carte Carte broșată
common.buy 88.40 lei
Zanoni Lytton / Carte Carte broșată
common.buy 146.36 lei
Inselhupfen in Griechenland Gabriele Lackner / Carte Carte broșată
common.buy 85.27 lei
Buonanotte! Benji Davies / Carte Copertă tare
common.buy 88.09 lei
Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA / Carte Carte broșată
common.buy 77.76 lei

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.§The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

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, Bernhard Rumpe
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 369
EAN 9783319229683
ISBN 3319229680
Codul Libristo 09480142
Editura Springer International Publishing AG
Greutatea 5796
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Elements of Brakigraphy John Thomas Porter / Carte Carte broșată
common.buy 65.15 lei
Top Nou
Bourbon & Proof WILDER VICTORIA / Carte Carte broșată
common.buy 87.88 lei
Dead Ringers: Series 20-23 Plus Specials Jon Culshaw / Audiobook MP3
common.buy 70.57 lei
Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness / Carte Carte broșată
common.buy 26.47 lei
Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis / Carte Carte broșată
common.buy 114.15 lei
Priestly Ministry and the People of God Richard Lennan / Carte Carte broșată
common.buy 129.16 lei
Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg / Carte Carte broșată
common.buy 140.42 lei
Timid Devney Perry / Carte Carte broșată
common.buy 101.64 lei
Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale / Carte Carte broșată
common.buy 228.00 lei
Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson / Carte Carte broșată
common.buy 81.62 lei
Headhunters Mark Dawson / Carte Carte broșată
common.buy 91.84 lei
Top
The Satanic Rituals Anton Szandor Lavey / Carte Carte broșată
common.buy 47.11 lei
Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee / Carte Copertă tare
common.buy 971.34 lei
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Carte Copertă tare
common.buy 417.74 lei
Walking and Trekking on Corfu Gillian Price / Carte Carte broșată
common.buy 107.27 lei
How To Build an Eco-Friendly Greenhouse Andros Zacharia / Carte Carte broșată
common.buy 144.59 lei
Disruptive Behavior Disorders Frank M. Gresham / Carte Carte broșată
common.buy 241.24 lei
Boomeritis Ken Wilber / Carte Carte broșată
common.buy 157.41 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?