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 Networked and Distributed Systems - FORTE 2003

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Libristo kód: 01558642
Nakladateľstvo Springer, Berlin, november 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... 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ť

Angličtina Slovní hry Gabrielle Smith-Dluha / Brožovaná
common.buy 3.62 €
Reiki praktická kniha Horst Günther / Pevná
common.buy 10.49 €
Ptákovina Milan Kundera / Audio CD
common.buy 7.56 €
VÝPREDAJ
Razítka Dinosaurus, felt-tip pens box / Papierenský tovar
common.buy 15.84 €
PRIPRAVUJEME
Beyit: Red Dragon (Foiled Journal) Flame Tree / Diár
common.buy 9.07 €
Macanudo 3 Ricardo Liniers / Brožovaná
common.buy 8.67 €
Staat, Nation, Europa Ernst-Wolfgang Böckenförde / Brožovaná
common.buy 18.16 €
Adventures of Tom Sawyer Mark Twain / Brožovaná
common.buy 16.54 €
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Brožovaná
common.buy 40.67 €
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Pevná
common.buy 47.83 €
Sharing the Work Myra H. Strober / Pevná
common.buy 9.58 €
Eccentric Lives and Peculiar Notions John Michell / Brožovaná
common.buy 16.04 €
Engendering the Buddhist State Ashley Thompson / Pevná
common.buy 211.76 €
Shock Dynamics Z. Han / Pevná
common.buy 327.43 €
Perspective in Nuclear Physics Sun-Chan Jeong / Brožovaná
common.buy 137.87 €
Bioinorganic Chemistry Robert J. P. Williams / Pevná
common.buy 360.03 €

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

Informácie o knihe

Celý názov Formal Techniques for Networked and Distributed Systems - FORTE 2003
Autor Hartmut König, Monika Heiner, Adam Wolisz
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2003
Počet strán 429
EAN 9783540201755
ISBN 3540201750
Libristo kód 01558642
Nakladateľstvo Springer, Berlin
Váha 626
Rozmery 155 x 235 x 23

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie
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 > 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
Výpočtové a informačné technológie > Operačné systémy
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