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

Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods for Executable Software Models Marco Bernardo
Kod Libristo: 02667827
Wydawnictwo Springer International Publishing AG, maj 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Cały opis
? points 125 b
219.88 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Książka Miękka
common.buy 151.76 zł
TOP
Tie vytúžené slová / Książka Miękka
common.buy 72.95 zł
Colores 1 Eria Krisztina Nagy Seres / Książka Miękka
common.buy 54.91 zł
Lunchbox na każdy dzień. Dookoła świata Bareła Malwina / Książka Twarda
common.buy 53.60 zł
Auge und die optische Abbildung Wiebke Gelder / Książka Miękka
common.buy 68.92 zł
CIMT - Constraint Induced Movement Therapy Sabine Lamprecht / E-book Adobe ePub DRM
common.buy 181.69 zł
Две жизни. Часть II Конкордия Антарова / Książka Miękka
common.buy 37.78 zł
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Książka Miękka
common.buy 299.59 zł
Trahison Que Tu Alimentes Tracy Lorraine / Książka Miękka
common.buy 67.21 zł
Faber-Castell Buntstift Jumbo Grip 16er Metalletui Gra/Zabawka Zabawka
common.buy 118.50 zł
Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M / Książka Miękka
common.buy 132.81 zł
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Książka Miękka
common.buy 58.24 zł
Plain Principles Of Prose Composition (1893) William Minto / Książka Miękka
common.buy 94.42 zł
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Książka Twarda
common.buy 192.27 zł
Etica e hermeneutica Everton Nery Carneiro / Książka Miękka
common.buy 189.44 zł
Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY / Książka Miękka
common.buy 64.59 zł
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Książka Miękka
common.buy 114.87 zł

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.§SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.§

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 Executable Software Models
Autor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 343
EAN 9783319073163
ISBN 3319073168
Kod Libristo 02667827
Wydawnictwo Springer International Publishing AG
Waga 5329
Wymiary 155 x 235 x 20

Kategoria

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) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Digital Media Rimon Elias / Książka Miękka
common.buy 215.14 zł
Go on a Critter Scavenger Hunt Emily Kington / Książka Twarda
common.buy 125.96 zł
Mathematics for Dyslexics and Dyscalculics - A Teaching Handbook 4e Steve Chinn / Książka Miękka
common.buy 209.80 zł
Law of Contracts, Volume 3 Theophilus Parsons / Książka Twarda
common.buy 194.89 zł
TOP
Macbeth Jo Nesbo / Książka Miękka
common.buy 36.77 zł
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Książka Twarda
common.buy 875.41 zł
Confessions: The Princess, the Prick & the Priest Ella Frank / Książka Miękka
common.buy 78.39 zł
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Książka Twarda
common.buy 487.43 zł
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Książka Miękka
common.buy 43.93 zł
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Książka Miękka
common.buy 166.87 zł
TOP
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Książka Miękka
common.buy 58.24 zł
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Książka Miękka
common.buy 189.75 zł
Official History of Britain: Our Story in Numbers as Told by the Office For National Statistics Boris Starling / E-book Adobe ePub DRM
common.buy 32.74 zł
How Great Cities Happen John Stanley / Książka Twarda
common.buy 699.16 zł
Environmental Sustainability in the Mediterranean Region Carla Sofia Santos Ferreira / Książka Twarda
common.buy 700.57 zł
Magritte CHAMBERS NICHOLAS / Książka Twarda
common.buy 258.07 zł
Feathers of Color Lionel Douglass / Książka Twarda
common.buy 97.14 zł
Cost-Minimizing Choice Behavior in Transportation Planning Sven B. Erlander / Książka Miękka
common.buy 438.36 zł
Emerging Trends in International Law on Secession Jelena Pifat / Książka Miękka
common.buy 419.92 zł
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Książka Twarda
common.buy 594.36 zł
Foundation Core GCSE Maths 1-3 Michael White / Książka Miękka
common.buy 54.71 zł
Black Mountains Ordnance Survey / Prasa Mapa
common.buy 77.08 zł
King Arthur Trilogy Rosemary Sutcliff / Książka Miękka
common.buy 68.21 zł
My Education William Seward Burroughs / Książka Miękka
common.buy 50.48 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?