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 Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Język AngielskiAngielski
Książka Miękka
Książka Leveraging Applications of Formal Methods, Verification, and Validation Tiziana Margaria
Kod Libristo: 01656868
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2010
The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th Internati... Cały opis
? points 280 b
Gwarancja
najlepszej
ceny ▸
503.59 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 10-16 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Bistum Königgrätz / Książka Miękka
common.buy 835.22 zł
De sang et d'or Martinelli / Książka Książka
common.buy 94.60 zł
1984 (новый перевод). Скотный двор. Эссе Джордж Оруэлл / Książka Twarda
common.buy 79.92 zł
Námi to začíná Colleen Hoover / Książka Miękka
common.buy 56.69 zł
Bud Spencer & Terence Hill Tin Sign Rechte und Linke Hand des Teufels 20 x 30 cm Artykuły papiernicze Artykuły papiernicze
common.buy 61.52 zł
BUSHCRAFT FÜR EINSTEIGER - Der praxisnahe Survival-Guide Andrew Bramstone / Książka Miękka
common.buy 59.21 zł
A Matter of Time Laufey / Audio CD Audio
common.buy 62.63 zł
El Septimo Libro de Amado Forester de Santos / E-book Adobe ePub DRM
common.buy 429.10 zł
Bel-Ami Guy de Maupassant / E-book Adobe ePub DRM
common.buy 70.19 zł
Jane Eyre. Eine Autobiografie Charlotte Brontë / E-book Adobe ePub DRM
common.buy 47.82 zł
Lincoln 9. Weder Gott noch Meister Anne-Claire Jouvray / Książka Twarda
common.buy 64.03 zł
Esercizi di scrittura per la scuola e l'università Fabio Rossi / Książka Miękka
common.buy 67.15 zł
Les Morts Sont Sans Défense Stierlin / Książka Miękka
common.buy 109.78 zł
Fluittaal / Whistle Language Hannie Rouweler / Książka Miękka
common.buy 85.05 zł
EL LIBRO DEL TEATRO REAL / Książka Miękka
common.buy 153.82 zł
Uw potentie begrijpen Myles Munroe / Książka Miękka
common.buy 78.61 zł
Gocce di Sicilia Andrea Camilleri / Książka Miękka
common.buy 60.39 zł
Wanderungen im westlichen Russland Theodor Von Leublfing / Książka Miękka
common.buy 70.37 zł
Quien Fue El Rey Tut? Roberta Edwards / Książka Miękka
common.buy 54.52 zł
Le Forgeron de la Cour-Dieu. Tome II. l'Empoisonneuse Pierre Alexis Ponson Du Terrail / Książka Miękka
common.buy 105.26 zł
B1 Verben Deutsch - Englisch Marlene Milena Abdel Aziz - Schachner / Książka Miękka
common.buy 39.78 zł

The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.§The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and verifying complex embedded systems, worst-case traversal time (WCTT), tools in scientific workflow composition, emerging services and technologies for a converging telecommunications / Web world in smart environments of the internet of things, Web science, model transformation and analysis for industrial scale validation, and learning techniques for software verification and validation. The second volume presents 54 papers addressing the following topics: EternalS: mission and roadmap, formal methods in model-driven development for service-oriented and cloud computing, quantitative verification in practice, CONNECT: status and plans, certification of software-driven medical devices, modeling and formalizing industrial software for verification, validation and certification, and resource and timing analysis.

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 Leveraging Applications of Formal Methods, Verification, and Validation
Autor Tiziana Margaria, Bernhard Steffen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 708
EAN 9783642165573
ISBN 3642165575
Kod Libristo 01656868
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1018
Wymiary 156 x 243 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) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
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 > Eksploracja danych
Informatyka i technologie informacyjne (IT) > Bazy danych > Wyszukiwanie informacji
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
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ć

Encyclopedia of Physics / Handbuch der Physik S. Flügge / Książka Miękka
common.buy 231.03 zł
Multiple Testing Procedures with Applications to Genomics Sandrine Dudoit / Książka Miękka
common.buy 679.24 zł
Covenstead Beth Gillespie / Książka Miękka
common.buy 84.04 zł
Fall of Julius Caesar John Dougherty / Książka Miękka
common.buy 53.07 zł
Fistful of Shells Toby Green / Książka Miękka
common.buy 70.87 zł
Battleships of the III Reich. Volume 2 Witold Koszela / Książka Twarda
common.buy 201.50 zł
Violence, Gender and the State Saumya Uma / E-book Adobe ePub DRM
common.buy 269.74 zł
The Wolves of Rio Hevrir: A Rio Crew Novel Carrie Baize / Książka Miękka
common.buy 56.89 zł
Holonyms and Meronyms MR Manik Joshi / Książka Miękka
common.buy 37.19 zł
I Am Not a Serial Killer Billy O'Brien / Wideo DVD
common.buy 37.99 zł
Resilience and Responsiveness Michael Barber / Książka Twarda
common.buy 493.00 zł
Understanding Evidence-Based Practice for Nursing Associates Melissa Owens / Książka Miękka
common.buy 121.44 zł
Operating Systems for Supercomputers and High Performance Computing Balazs Gerofi / Książka Twarda
common.buy 582.42 zł
In Plenty and in Time of Need Lia T. Bascomb / Książka Twarda
common.buy 719.15 zł
Last Ones Left Alive Sarah Davis-Goff / Książka Miękka
common.buy 63.33 zł
Return of the Underwear Dragon Rothman / Książka Miękka
common.buy 31.26 zł
Louise Bourgeois & Pablo Picasso: Anatomies of Desire Émilie Bouvard / Książka Twarda
common.buy 252.04 zł
The Joy of Bootstrap: A smarter way to learn the world's most popular web framework Alan Forbes / Książka Miękka
common.buy 64.41 zł
Lisbon Sketchbook Fabrice Moireau / Książka Twarda
common.buy 226.71 zł
Radical Environmental Resistance – Love, Rage and Hope in an Era of Climate and Biodiversity Breakdown Heather Alberro / Książka Twarda
common.buy 178.45 zł
Recognizing Race and Ethnicity Kathleen Fitzgerald / Książka Miękka
common.buy 286.63 zł
Ask the Right Questions; Get the Right Job Edward Barr / Książka Miękka
common.buy 91.08 zł
A Comprehensive Guide for Web3 Security Ken Huang / Książka Twarda
common.buy 438.65 zł
Sensory and Motor Strategies (3rd edition) Kirsteen Wright / Książka Miękka
common.buy 133.11 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?