topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Explore
ISBN: 9782017159124 / Francuski / Miękka / 2021 Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
147,15 zł |
 |
Explore: Cahier d'activites 2 + Parcours digital
ISBN: 9782017112730 / Francuski Termin realizacji zamówienia: ok. 12 dni roboczych. |
cena:
81,22 zł |
 |
Explore: Cahier d'activites 3 + audio telechargeable
ISBN: 9782017112747 / Francuski / Miękka / 2021 Termin realizacji zamówienia: ok. 12 dni roboczych. |
cena:
81,22 zł |
 |
Fme '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxfor
ISBN: 9783540609735 / Angielski / Miękka / 1996 / 711 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations."
The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the... This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996....
|
cena:
384,63 zł |
 |
Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993. Proceedings
ISBN: 9783540566106 / Angielski / Miękka / 1993 / 768 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the Proceedings of the Fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development.
This volume contains the Proceedings of the Fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 93. Sinc...
|
cena:
384,63 zł |
 |
Explore: Guide pedagogique 1 + audio (tests) telechargeables
ISBN: 9782017139386 / Francuski Termin realizacji zamówienia: ok. 12 dni roboczych. |
cena:
188,13 zł |
 |
Explore: Student's Book 1
ISBN: 9782017184874 / Francuski Termin realizacji zamówienia: ok. 12 dni roboczych. |
cena:
106,67 zł |
 |
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ISBN: 9783642357046 / Angielski / Miękka / 2013 / 249 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France...
|
cena:
176,95 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
