phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Formal Techniques for Distributed Objects, Components, and Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Distributed Objects, Components, and Systems Catuscia Palamidessi
Libristo kód: 02668867
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, apríl 2014
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec... Celý popis
? points 154 b
61.35 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Rázštepy pery a podnebia Radomír Kokavec / Brožovaná
common.buy 1.60 €
PRIPRAVUJEME
Get Talking and Keep Talking Greek Total Audio Course Howard Middle / Audio CD
common.buy 22.06 €
Final Plague Tony Guaraldi-Brown / Brožovaná
common.buy 16.21 €
Oxford Handbook of Private Equity Douglas Cumming / Pevná
common.buy 232.23 €
Generation of Postmemory Hirsch / Pevná
common.buy 124.93 €
Orientations Pierre Boulez / Brožovaná
common.buy 21.45 €
From Parents to Children John Ermisch / Pevná
common.buy 86.24 €
How to Do Ecology Richard Karban / Brožovaná
common.buy 33.64 €
Jacobi Dynamics V.I. Ferronsky / Pevná
common.buy 240.19 €

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

Informácie o knihe

Celý názov Formal Techniques for Distributed Objects, Components, and Systems
Autor Catuscia Palamidessi, Erika Ábrahám
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 301
EAN 9783662436127
ISBN 3662436124
Libristo kód 02668867
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 4803
Rozmery 155 x 235 x 18

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
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

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