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 Methods for Mobile Computing

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Mobile Computing Marco Bernardo
Libristo kód: 01560596
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, apríl 2005
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th Internati... Celý popis
? points 154 b
61.46 €
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ť

TOP
1Q84 Haruki Murakami / Brožovaná
common.buy 17.25 €
Unmasking Autism Devon Price / Pevná
common.buy 19.17 €
Life of Alexander the Great Plutarch / Brožovaná
common.buy 13.11 €
How the Mighty Fall Jim Collins / Pevná
common.buy 19.37 €
Mein Manga-Adventskalender-Buch: Magic Manga Christmas / Pevná
common.buy 10.59 €
Becoming Roman Greg Woolf / Pevná
common.buy 128.38 €
Wiener Blut Frank Tallis / Brožovaná
common.buy 11.19 €
Freud-Handbuch Hans-Martin Lohmann / Brožovaná
common.buy 34.01 €

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005.§SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.

Informácie o knihe

Celý názov Formal Methods for Mobile Computing
Autor Marco Bernardo, Alessandro Bogliolo
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2005
Počet strán 272
EAN 9783540256977
ISBN 3540256970
Libristo kód 01560596
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 900
Rozmery 155 x 235 x 16

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačový hardvér > Sieťové zariadenia
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
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 > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačové siete a komunikácia
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