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

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Software Engineering and Formal Methods Carlos Canal
Codul Libristo: 09155938
Editura Springer International Publishing AG, februarie 2015
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... 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

La Morale Anarchiste Petr Alekseevich Kropotkine / Carte Carte broșată
common.buy 75.37 lei
Het obstipatie formularium A.J.P.M. Smout / Carte Carte broșată
common.buy 124.78 lei
NUEVA NOVELA PR AUTOR PROVISIONAL / Carte Copertă tare
common.buy 129.79 lei
Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi / Carte Carte broșată
common.buy 110.50 lei
Expressionismus Bahr / Carte Carte broșată
common.buy 85.48 lei
Kraniosakrální terapie Velká kniha Thomas Attlee / Carte Carte
common.buy 150.22 lei
Diriger et gérer l'entreprise : dossiers et questions Koubi / Carte Carte broșată
common.buy 129.58 lei
Propagation des singularites des solutions d'equations pseudo-differentielles a caracteristiques de multiplicites variables Richard Lascar / Carte Carte broșată
common.buy 200.37 lei
Sinn der Liebe Wladimir Solov'ev / Carte Copertă tare
common.buy 176.91 lei
OEffentliche Verwaltung in Brasilien Und Deutschland Katrin Möltgen-Sicking / Carte Carte broșată
common.buy 373.64 lei
Ratsburgerschaft und Residenz Christian Schmitz / Carte Copertă tare
common.buy 877.92 lei
R alisation d''une Commande Num rique Et Identification Par RNA Aimad Ahriche / Carte Carte broșată
common.buy 193.90 lei
Les Anomalies Chromosomiques Et Leurs Cons quences Sur La Reproduction Katia Julian / Carte Carte broșată
common.buy 341.95 lei
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Carte Carte broșată
common.buy 50.35 lei
Curând
Cr?pes & Galettes Hervé Kerourédan / Carte Copertă tare
common.buy 47.95 lei
Englischsprachige Shakespeareparodien Des 20. Jahrhunderts Amrei Wiencek / Carte Carte broșată
common.buy 267.51 lei
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Carte Carte broșată
common.buy 133.33 lei
Bergwercks Geschoepff, und wunderbare Eigenschafft der Metalsfruchte Georg Meyer / Carte Carte broșată
common.buy 109.67 lei

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014, and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

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 Carlos Canal, Akram Idani
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 405
EAN 9783319152004
ISBN 3319152009
Codul Libristo 09155938
Editura Springer International Publishing AG
Greutatea 6555
Dimensiuni 155 x 235 x 10

Categorii

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

Oxford Phonics World: Level 1: Teacher's Pack with Classroom Presentation Tool 1 / Carte Carte broșată
common.buy 370.62 lei
Unwrapping God's Gift of Life Cheryl Delamarter / Carte Carte broșată
common.buy 138.55 lei
Functional Foods and Nutrition G. Subbulakshami / Carte Copertă tare
common.buy 573.60 lei
Linguistic Landscape of the Mediterranean Stefania Tufi / Carte Copertă tare
common.buy 708.82 lei
From Furs to Farms John Reda / Carte Copertă tare
common.buy 904.51 lei
United States of America Murray / Carte Copertă tare
common.buy 200.16 lei
Chemical News and Journal of Physical Science, Volume 3 Sir William Crookes / Carte Copertă tare
common.buy 236.86 lei
China and Sustainable Development in Latin America López Andres / Carte Copertă tare
common.buy 690.99 lei
Law of Moses Viewed in Connexion with the History and Character of the Jews Henry John Rose / Carte Copertă tare
common.buy 184.73 lei
Wild Kitty L T Meade / Carte Carte broșată
common.buy 65.98 lei
Shih Tzu, Shih Tzu training a: Think Like a Dog, But Don't Eat Your Poop!: Shih Tzu Breed Expert Training, Here's EXACLTY How to Train Yuor Shih Tzu Paul Allen Pearce / Carte Carte broșată
common.buy 68.17 lei
Stylistics and Shakespeare's Language Mireille Ravassat / Carte Carte broșată
common.buy 271.99 lei
Grammar of Ornament by Owen Jones Owen Jones / Carte Copertă tare
common.buy 269.91 lei
Lost in Newfoundland Michael Winsor / Carte Copertă tare
common.buy 150.01 lei
Multi Color Stripes: Diary Weekly Spreads January to December Shayley Stationery Books / Carte Carte broșată
common.buy 76.83 lei
Basic Tagalog Yolanda C. Hernandez / Carte Carte broșată
common.buy 84.02 lei
CSB Men of Character Bible, Revised and Updated, Forest Leathertouch, Indexed Gene A. Getz / Carte Carte
common.buy 339.97 lei
The Sad Ghost Club Colouring Book Lize Meddings / Carte Carte broșată
common.buy 60.56 lei
Beginning R Larry Pace / Carte Carte broșată
common.buy 334.13 lei
Polymer Additives Jiri E. Kresta / Carte Carte broșată
common.buy 285.96 lei
Nina Simone Feeling Good SATB/Piano (ARRANGER); MUSE (A / Carte Carte broșată
common.buy 36.48 lei
Building Within Nature Andy Wasowski / Carte Carte broșată
common.buy 126.55 lei
Level 3: The Swiss Family Robinson Book and MP3 Pack Johann David Wyss / Carte Copertă tare
common.buy 54.52 lei
Assessing the Hypoxia Threat in U.S. Coastal Waters Steve Frederickson / Carte Copertă tare
common.buy 1 355.83 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