Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft Packeta 990 Ft GLS futár 1 590 Ft GLS pont 1 390 Ft

Software Engineering and Formal Methods

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Software Engineering and Formal Methods Carlos Canal
Libristo kód: 09155938
Kiadó Springer International Publishing AG, február 2015
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... Teljes leírás
? points 154 b
24 164 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-16 napon belül

30 nap a termék visszaküldésére


Ezt is ajánljuk


History of Louis Philippe John Stevens Cabot Abbott / Kemény kötésű
common.buy 15 661 Ft
hamarosan
Einmaleins für die 4. Klasse Anja Rahm / Lap
common.buy 2 526 Ft
Ratsburgerschaft und Residenz Christian Schmitz / Kemény kötésű
common.buy 96 060 Ft
Moon in the Water Stan Gordon / Puha kötésű
common.buy 6 057 Ft
Beginning R Larry Pace / Puha kötésű
common.buy 25 405 Ft
From Furs to Farms John Reda / Kemény kötésű
common.buy 62 262 Ft
Blown to Bits Leon Cooper / Kemény kötésű
common.buy 9 493 Ft
Sixth Sense Alastair Davie / Kemény kötésű
common.buy 13 104 Ft
To Love Again? Shunkedra / Puha kötésű
common.buy 8 097 Ft
Dark Journey to a Light Future Tommie Mabry / Kemény kötésű
common.buy 12 662 Ft
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Puha kötésű
common.buy 10 166 Ft
Het obstipatie formularium A.J.P.M. Smout / Puha kötésű
common.buy 9 257 Ft
Bringing Out the Best in Your Marriage Dr H Norman Wright / Puha kötésű
common.buy 4 942 Ft
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Puha kötésű
common.buy 6 575 Ft

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.

Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása