topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 3
 |
Integrated Formal Methods: 7th International Conference, Ifm 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
ISBN: 9783642002540 / Angielski / Miękka / 2009 / 367 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) ThisvolumecontainsthepaperspresentedattheInternationalConferenceon- tegratedFormalMethods, iFM2009, heldon16-19February2009inDusseldorf ], Germany.Theconferencewastheseventhinaseriesofconferencesonintegrated formal methods, with previous editions in York, Dagstuhl, Turku, Canterbury, Eindhoven and Oxford. The iFM conference series seeks to further research into the combination of di?erent formal methods, both for modelling and analysis, covering all aspects from language design over veri?cation techniques to tools and their integration into software engineering practice. iFM 2009 received 55...
ThisvolumecontainsthepaperspresentedattheInternationalConferenceon- tegratedFormalMethods, iFM2009, heldon16-19February2009inDusseldorf ], Germany.The...
|
cena:
201,72 |
 |
Rigorous State-Based Methods: 11th International Conference, Abz 2025, D?sseldorf, Germany, June 10-13, 2025, Proceedings
ISBN: 9783031945328 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
524,53 |
 |
Rigorous State-Based Methods: 10th International Conference, Abz 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
ISBN: 9783031637896 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
302,60 |
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
