Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies Tiziana Margaria
Libristo kód: 46539685
Nakladateľstvo Springer, Berlin, november 2023
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter... Celý popis
? points 165 b
68.07 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Familie und Beruf. Vereinbarkeit von Elternzeit und Fuhrungspositionen fur Manner in mittelstandischen Unternehmen Anja Landvoigt / Kniha Brožovaná
common.buy 25.08 €
Les Misérables Part 1; Volume II Anonymous / Kniha Brožovaná
common.buy 23.76 €
Tí, čo odchádzajú – tí, čo zostávajú Elena Ferrante / Kniha Pevná
common.buy 18.91 €
Na lavici obžalovaných Mikuláš Černák / Kniha Pevná
common.buy 12.43 €
Základka a ďalšie katastrofy 1 - Najhoršia spolubývajúca Wanda Coven / Kniha Pevná
common.buy 11.52 €

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. 

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

 

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Autor Tiziana Margaria, Bernhard Steffen
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2024
Počet strán 330
EAN 9783031753862
Libristo kód 46539685
Nakladateľstvo Springer, Berlin
Váha 523
Rozmery 155 x 235

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Model Driven Engineering and Ontology Development Dragan Ga evic / Kniha Brožovaná
common.buy 102.97 €
History of the Moors of Spain M. Florian / Kniha Brožovaná
common.buy 13.54 €
Eton Abuses Considered Unknown Author / Kniha Brožovaná
common.buy 11.02 €
Judges and Ruth Barry Webb / Kniha Pevná
common.buy 53.30 €
Michelangelo's World J. Patrick Lewis / Kniha Pevná
common.buy 16.68 €
Spikenard -A Woman Anoints Jesus's Feet - Did She Use the Spikenard of Aromatherapy?: Nardostachys Jatamansi - An Essential Oil and Medicinal Plant fo Mrs Elizabeth Ashley / Kniha Brožovaná
common.buy 20.02 €
Turning Point Danielle Steel / Kniha Brožovaná
common.buy 8.08 €
Vertical Ascent WOLFGANG SMITH / Kniha Brožovaná
common.buy 14.76 €
To the Ends of the Earth Richard Weller / Kniha Pevná
common.buy 28.62 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?