Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods for Eternal Networked Software Systems

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Eternal Networked Software Systems Marco Bernardo
Libristo kód: 01658111
Nakladatelství Springer, Berlin, listopad 2010
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the Inte... Celý popis
? points 139 b
1 386 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

30 dní na vrácení zboží

Zákazníci také koupili

VOYAGE MAGIQUE NIVEAU 2B EXPLORATEUR/CAHIER PIANO (AVEC CD) PIANO BLET Kniha binding.
common.buy 1 101 Kč
Kores Jumbo trojhranné pastelky 5 mm s ořezávátkem 12 barev / Kniha binding.
common.buy 149 Kč
Grimms Märchen anno1820 / Kniha Brožovaná
common.buy 238 Kč
American Favorite Ballads vol 2 Pete Seeger / Audio Audio CD
common.buy 125 Kč
GIEC. La voix du climat Kary DE PRYCK / Kniha Brožovaná
common.buy 672 Kč
Das Gotteslehen / Kniha Brožovaná
common.buy 1 014 Kč
Thomas Samuel Kuhn - Was sind wissenschaftliche Revolutionen? Eine Analyse von Kuhns Verständnis von Revolutionen Nicole Kutzner / Kniha Brožovaná
common.buy 369 Kč
Das Sozialkräftemodell nach Helbing Laureen Furkert / Kniha Brožovaná
common.buy 1 040 Kč
Ökonomie und Ethik I: Die Kapitalismusdebatte in der Philosophie der Neuzeit Elmar Waibl / Kniha Pevná
common.buy 1 737 Kč
Autocad 2016 Carranza Zavala / Kniha Brožovaná
common.buy 882 Kč
Los procesos matrimoniales : nulidad, separación y divorcio María Sonia Calaza López / Kniha Brožovaná
common.buy 645 Kč
Universite de Londres Buisson-B-P / Kniha Brožovaná
common.buy 336 Kč
Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan / Kniha Brožovaná
common.buy 389 Kč
Bog Se Nikad Ne Smeje: Zapis O Ateistickom Autovanju Aleksandar Lambros / Kniha Brožovaná
common.buy 444 Kč
de Verdun A l'Yser, Notes d'Un Aumonier Militaire ARDANT-G / Kniha Brožovaná
common.buy 402 Kč
Ravens stad Tuula Pere / Kniha Pevná
common.buy 500 Kč
Připravujeme
Girl on the Train - Du kennst sie nicht, aber sie kennt dich. Paula Hawkins / Audio Audio CD
common.buy 176 Kč
Karl Jäger Wolfram Wette / Kniha Brožovaná
common.buy 512 Kč
Mauritius von Craun Heimo Reinitzer / Kniha Pevná
common.buy 491 Kč
Připravujeme
Mathe:Pro - Ausgabe 2011. H.1 Sabine Kaufmann / Kniha List
common.buy 312 Kč

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods for Eternal Networked Software Systems
Autor Marco Bernardo, Valerie Issarny
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 527
EAN 9783642214547
ISBN 3642214541
Libristo kód 01658111
Nakladatelství Springer, Berlin
Váha 811
Rozměry 155 x 235 x 29

Kategorie

Výpočetní a informační technologie > Digitální životní styl > Internetové příručky a online služby > Internetové vyhledávání
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Databáze > Vyhledávání informací
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Sloth Bear! an Animal Encyclopedia for Kids (Bear Kingdom) - Children's Biological Science of Bears Books Prodigy Wizard / Kniha Brožovaná
common.buy 234 Kč
History of England from the Fall of Wolsey to the Death of Elizabeth. James Anthony Froude / Kniha Brožovaná
common.buy 707 Kč
Crs Report for Congress Paul K Kerr / Kniha Brožovaná
common.buy 354 Kč
Overcoming My Self-Esteem and Self-Concept Who Am I? Krystal Bowden / Kniha Pevná
common.buy 636 Kč
Best Easy Day Hikes Northern Sierra Ron Adkison / Kniha Brožovaná
common.buy 287 Kč
Re-engaging Disconnected Youth Amy Vatne Bintliff / Kniha Brožovaná
common.buy 950 Kč
New Confucianism in Twenty-First Century China Jesus Sole-Farras / Kniha Brožovaná
common.buy 1 578 Kč
Rudolf Schwarz and the Monumental Order of Things Adam Caruso / Kniha Pevná
common.buy 1 724 Kč
In the Meantime Iyanla Vanzant / Kniha Brožovaná
common.buy 341 Kč
The Lesbian Family Life Cycle Suzanne Slater / Kniha Brožovaná
common.buy 355 Kč
I Say a Little Prayer E. Lynn Harris / Kniha Brožovaná
common.buy 428 Kč
Harold Laski: Problems of Democracy, the Sovereign State, and International Society P LAMB / Kniha Brožovaná
common.buy 1 223 Kč
Qur'an Jason Criss Howk / Kniha Brožovaná
common.buy 641 Kč
Oxford Bookworms Library Factfiles: Level 3:: Future Energy Alex Raynham / Kniha Brožovaná
common.buy 328 Kč
Is Spiritualism Based on Fraud ? JOSEPH MCCABE / Kniha Pevná
common.buy 811 Kč
Electronic States in Crystals of Finite Size Shang Yuan Ren / Kniha Brožovaná
common.buy 2 122 Kč
Theatre & War Dinesh Nandita Dinesh / Kniha Brožovaná
common.buy 1 208 Kč
Monty Python The Complete Guide Steve Pilkington / Kniha Brožovaná
common.buy 457 Kč
Cellulite Mitchel P. Goldman / Kniha Brožovaná
common.buy 2 048 Kč
Silver and Light: The Lionheart Province Jackie Castle / Kniha Brožovaná
common.buy 340 Kč
The Mink Wrap In The Attic / Kniha Brožovaná
common.buy 196 Kč
Book of Common Prayer L. B. O. Ceallaigh / Kniha Brožovaná
common.buy 402 Kč
6 Full-Length Common Core Grade 4 Math Practice Tests Reza Nazari / Kniha Brožovaná
common.buy 359 Kč
Top
Preparation for Cambridge English (YLE) AA.VV / Kniha Brožovaná
common.buy 382 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?