Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Eternal Networked Software Systems Marco Bernardo
Kod Libristo: 01658111
Wydawnictwo Springer, Berlin, listopad 2010
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the Inte... Cały opis
? points 139 b
243.68 zł
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

Nawet do 30 dni na zwrot

Klienci kupili także

VOYAGE MAGIQUE NIVEAU 2B EXPLORATEUR/CAHIER PIANO (AVEC CD) PIANO BLET Książka binding.
common.buy 193.61 zł
Kores Jumbo trojhranné pastelky 5 mm s ořezávátkem 12 barev / Książka binding.
common.buy 26.18 zł
Grimms Märchen anno1820 / Książka Miękka
common.buy 44.52 zł
American Favorite Ballads vol 2 Pete Seeger / Audio CD Audio
common.buy 21.95 zł
GIEC. La voix du climat Kary DE PRYCK / Książka Miękka
common.buy 118.16 zł
Das Gotteslehen / Książka Miękka
common.buy 189.38 zł
Итальянский язык. Полный курс. 3-е издание Л.А. Петрова / Książka Miękka
common.buy 114.83 zł
Toskánske tajomstvo Daniela Sacerdoti / Książka Twarda
common.buy 84.91 zł
Thomas Samuel Kuhn - Was sind wissenschaftliche Revolutionen? Eine Analyse von Kuhns Verständnis von Revolutionen Nicole Kutzner / Książka Miękka
common.buy 68.90 zł
Das Sozialkräftemodell nach Helbing Laureen Furkert / Książka Miękka
common.buy 182.83 zł
Ökonomie und Ethik I: Die Kapitalismusdebatte in der Philosophie der Neuzeit Elmar Waibl / Książka Twarda
common.buy 305.43 zł
Autocad 2016 Carranza Zavala / Książka Miękka
common.buy 155.13 zł
Los procesos matrimoniales : nulidad, separación y divorcio María Sonia Calaza López / Książka Miękka
common.buy 113.42 zł
Universite de Londres Buisson-B-P / Książka Miękka
common.buy 62.05 zł
Entwicklung der Entsorgungslogistik in Unternehmen Lena Baranan / Książka Miękka
common.buy 72.82 zł
Bog Se Nikad Ne Smeje: Zapis O Ateistickom Autovanju Aleksandar Lambros / Książka Miękka
common.buy 82.09 zł
de Verdun A l'Yser, Notes d'Un Aumonier Militaire ARDANT-G / Książka Miękka
common.buy 74.23 zł
Ravens stad Tuula Pere / Książka Twarda
common.buy 93.88 zł
Zapowiedź
Girl on the Train - Du kennst sie nicht, aber sie kennt dich. Paula Hawkins / Audio CD Audio
common.buy 33.03 zł
Karl Jäger Wolfram Wette / Książka Miękka
common.buy 95.69 zł
Mauritius von Craun Heimo Reinitzer / Książka Twarda
common.buy 92.17 zł
Zapowiedź
Mathe:Pro - Ausgabe 2011. H.1 Sabine Kaufmann / Książka Karta
common.buy 54.89 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods for Eternal Networked Software Systems
Autor Marco Bernardo, Valerie Issarny
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 527
EAN 9783642214547
ISBN 3642214541
Kod Libristo 01658111
Wydawnictwo Springer, Berlin
Waga 811
Wymiary 155 x 235 x 29

Kategoria

Informatyka i technologie informacyjne (IT) > Komputery i IT: przewodniki dla konsumentów i użytkowników > Poradniki internetowe i usługi online > Przeszukiwanie Internetu
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Bazy danych > Wyszukiwanie informacji
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Sloth Bear! an Animal Encyclopedia for Kids (Bear Kingdom) - Children's Biological Science of Bears Books Prodigy Wizard / Książka Miękka
common.buy 43.21 zł
History of England from the Fall of Wolsey to the Death of Elizabeth. James Anthony Froude / Książka Miękka
common.buy 130.65 zł
Crs Report for Congress Paul K Kerr / Książka Miękka
common.buy 65.37 zł
Overcoming My Self-Esteem and Self-Concept Who Am I? Krystal Bowden / Książka Twarda
common.buy 117.15 zł
Best Easy Day Hikes Northern Sierra Ron Adkison / Książka Miękka
common.buy 52.78 zł
Re-engaging Disconnected Youth Amy Vatne Bintliff / Książka Miękka
common.buy 167.01 zł
New Confucianism in Twenty-First Century China Jesus Sole-Farras / Książka Miękka
common.buy 292.03 zł
In the Meantime Iyanla Vanzant / Książka Miękka
common.buy 63.96 zł
The Lesbian Family Life Cycle Suzanne Slater / Książka Miękka
common.buy 66.28 zł
I Say a Little Prayer E. Lynn Harris / Książka Miękka
common.buy 79.77 zł
Harold Laski: Problems of Democracy, the Sovereign State, and International Society P LAMB / Książka Miękka
common.buy 248.61 zł
Qur'an Jason Criss Howk / Książka Miękka
common.buy 118.46 zł
Oxford Bookworms Library Factfiles: Level 3:: Future Energy Alex Raynham / Książka Miękka
common.buy 60.13 zł
Is Spiritualism Based on Fraud ? JOSEPH MCCABE / Książka Twarda
common.buy 151.00 zł
Electronic States in Crystals of Finite Size Shang Yuan Ren / Książka Miękka
common.buy 443.84 zł
Theatre & War Dinesh Nandita Dinesh / Książka Miękka
common.buy 223.33 zł
Monty Python The Complete Guide Steve Pilkington / Książka Miękka
common.buy 85.11 zł
Cellulite Mitchel P. Goldman / Książka Miękka
common.buy 392.67 zł
Silver and Light: The Lionheart Province Jackie Castle / Książka Miękka
common.buy 63.15 zł
The Mink Wrap In The Attic / Książka Miękka
common.buy 36.36 zł
Book of Common Prayer L. B. O. Ceallaigh / Książka Miękka
common.buy 74.33 zł
6 Full-Length Common Core Grade 4 Math Practice Tests Reza Nazari / Książka Miękka
common.buy 66.28 zł
TOP
Preparation for Cambridge English (YLE) AA.VV / Książka Miękka
common.buy 57.81 zł
Game Master: Playing for Keeps (Game Master Book Two) Tamra Crowe / Książka Miękka
common.buy 32.53 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?