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

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Software Engineering and Formal Methods Robert Hierons
Codul Libristo: 02016931
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... 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

Mercedes G-Modell / Carte Carte
common.buy 223.20 lei
COUNTRY DANCES JOHN PLAYFORD / Materiale tipărite Note muzicale
common.buy 72.03 lei
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Carte Carte broșată
common.buy 302.02 lei
Oooh, wie ist das schön! Germán Aczel / Carte Copertă tare
common.buy 117.90 lei
Oldenburg Iris Dahlke / Carte Foaie
common.buy 28.45 lei
Fachberatung auf dem Weg zur Profession Elke Alsago / Carte Carte broșată
common.buy 147.41 lei
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Carte Carte
common.buy 150.64 lei
Mein großes Buch der Tiergeräusche / Carte Copertă tare
common.buy 87.25 lei
Cartas Portuguesas BARATA SILVERIO / Carte Carte broșată
common.buy 139.17 lei
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Carte Carte broșată
common.buy 86.00 lei
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Carte Copertă tare
common.buy 419.41 lei
Alice au pays des merveilles Carroll / Carte Carte broșată
common.buy 48.36 lei
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Carte Foaie
common.buy 21.67 lei
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Carte Carte broșată
common.buy 62.13 lei
Wanderjahre in Italien Ferdinand Gregorovius / Carte Copertă tare
common.buy 124.37 lei
Le Lai de Lanval Marie de France / Carte Carte broșată
common.buy 30.43 lei
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Carte Carte broșată
common.buy 80.37 lei
L-Architectes Heinz Wirz / Carte Carte broșată
common.buy 199.32 lei
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Carte Carte broșată
common.buy 262.71 lei

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and 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 Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 321
EAN 9783642405600
ISBN 3642405606
Codul Libristo 02016931
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 5153
Dimensiuni 155 x 235 x 19

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

Fifty Years in the East Dr Farhad Daftary / Carte Copertă tare
common.buy 404.50 lei
Software Engineering Elvis C. Foster / Carte Carte broșată
common.buy 447.04 lei
Curând
London's Lord Mayors Emma Hatfield / Carte Copertă tare
common.buy 118.94 lei
Job Mona P. Bias / Carte Carte broșată
common.buy 137.19 lei
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Carte Carte broșată
common.buy 57.12 lei
Magic Molly; The Mirror Maze Trevor Forest / Carte Carte broșată
common.buy 34.92 lei
End Times - What Is It Really About? Michael Joseph Kiser / Carte Carte broșată
common.buy 91.01 lei
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Carte Carte broșată
common.buy 107.27 lei
Fairytale Danielle Steel / Carte Carte broșată
common.buy 47.11 lei
Remembering the Osage Kid Mardi Oakley Medawar / Carte Carte broșată
common.buy 101.64 lei
James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss / Carte Carte broșată
common.buy 123.32 lei
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Carte Carte broșată
common.buy 180.66 lei
Wushu Shaolin Kung Fu: White Belt Sal Redner / Carte Carte broșată
common.buy 216.22 lei
Making of Americans Gertrude Stein / Carte Carte broșată
common.buy 97.89 lei
Curând
Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina / Carte Carte broșată
common.buy 99.45 lei
Benefit Sharing Doris Schroeder / Carte Copertă tare
common.buy 570.37 lei
What Works in Corrections Doris Layton MacKenzie / Carte Copertă tare
common.buy 782.01 lei
White House is Burning Jane Sutcliffe / Carte Copertă tare
common.buy 85.06 lei
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Carte Carte broșată
common.buy 122.49 lei
Fortune like the Moon Alys Clare / Carte Carte broșată
common.buy 66.40 lei
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Carte Carte broșată
common.buy 235.50 lei
Appropriation of Native American Spirituality Suzanne Owen / Carte Carte broșată
common.buy 292.43 lei
Asian Crisis: A New Agenda For Euro-asian Cooperation, The Tommy Koh / Carte Carte broșată
common.buy 241.24 lei
Hyperthermia Fabian Bley / Carte Carte broșată
common.buy 315.05 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?