Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Techniques for Distributed Objects, Components, and Systems

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer Nature B.V.
SKU: 50453351
Price: 56.95 EUR
Availability: InStock
Author: Marieke Huisman
ISBN: 9783031353567

43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, J

Marieke Huisman

António Ravara

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 50453351

Nakladateľstvo Springer Nature B.V., jún 2023

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on F... Celý popis

Libristo kód: 50453351

138 b

56.95 €

Skladom u dodávateľa Odosielame za 10-18 dní

30 dní na vrátenie tovaru

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.

The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Techniques for Distributed Objects, Components, and Systems

Autor Marieke Huisman, António Ravara

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2023

Počet strán 240

EAN 9783031353567

ISBN 3031353560

Libristo kód 50453351

Nakladateľstvo Springer Nature B.V.

Váha 343

Rozmery 156 x 234 x 13

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/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

Často hľadané

Categories

Authors

Publishers

Často hľadané

Tovar

Categories

Authors

Publishers

Doručenie

Nákupný poradca

Formal Techniques for Distributed Objects, Components, and Systems

43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, J

Informácie o knihe

Kategórie

Darujte túto knihu ešte dnes

Je to jednoduché

Často hľadané

Categories

Authors

Publishers

Formal Techniques for Distributed Objects, Components, and Systems

43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, J

Informácie o knihe

Kategórie

Darujte túto knihu ešte dnes

Je to jednoduché

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