Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Executable Software Models Marco Bernardo
Libristo kód: 02667827
Nakladateľstvo Springer International Publishing AG, máj 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Celý popis
? points 125 b
51.61 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Top
Две жизни. Часть II Конкордия Антарова / Kniha Brožovaná
common.buy 8.88 €
CIMT - Constraint Induced Movement Therapy Sabine Lamprecht / E-kniha Adobe ePub DRM
common.buy 43.42 €
Lunchbox na każdy dzień. Dookoła świata Bareła Malwina / Kniha Pevná
common.buy 16.15 €
Top
Can't Hurt Me Peter Peschke / Kniha Pevná
common.buy 18.58 €
Opere Di Raimondo Montecuccoli... Ugo Foscolo / Kniha Brožovaná
common.buy 28.27 €
Top
Tie vytúžené slová / Kniha Brožovaná
common.buy 14.54 €
Colores 1 Eria Krisztina Nagy Seres / Kniha Brožovaná
common.buy 14.33 €
Depression: quand la Tristesse devient Pathologique Juan Moises de la Serna / E-kniha Adobe ePub DRM
common.buy 5.95 €
Trahison Que Tu Alimentes Tracy Lorraine / Kniha Brožovaná
common.buy 14.74 €
Faber-Castell Buntstift Jumbo Grip 16er Metalletui Hra/Hračka Hračka
common.buy 32.21 €
Plain Principles Of Prose Composition (1893) William Minto / Kniha Brožovaná
common.buy 21.10 €
Etica e hermeneutica Everton Nery Carneiro / Kniha Brožovaná
common.buy 44.43 €
Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M / Kniha Brožovaná
common.buy 29.18 €
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Kniha Brožovaná
common.buy 26.86 €
Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY / Kniha Brožovaná
common.buy 15.04 €
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Kniha Brožovaná
common.buy 12.41 €
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Kniha Pevná
common.buy 42.31 €
Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Kniha Brožovaná
common.buy 35.65 €
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Kniha Brožovaná
common.buy 70.29 €
Auge und die optische Abbildung Wiebke Gelder / Kniha Brožovaná
common.buy 16.15 €

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.§

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods for Executable Software Models
Autor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 343
EAN 9783319073163
ISBN 3319073168
Libristo kód 02667827
Nakladateľstvo Springer International Publishing AG
Váha 5329
Rozmery 155 x 235 x 20

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
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
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

Mohlo by vás tiež zaujímať

Digital Media Rimon Elias / Kniha Brožovaná
common.buy 50.50 €
Confessions: The Princess, the Prick & the Priest Ella Frank / Kniha Brožovaná
common.buy 17.46 €
Mathematics for Dyslexics and Dyscalculics - A Teaching Handbook 4e Steve Chinn / Kniha Brožovaná
common.buy 49.18 €
Environmental Sustainability in the Mediterranean Region Carla Sofia Santos Ferreira / Kniha Pevná
common.buy 164.34 €
Winston Churchill in 100 Objects Anthony Richards / Kniha Pevná
common.buy 26.45 €
Top
Macbeth Jo Nesbo / Kniha Brožovaná
common.buy 9.69 €
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Kniha Pevná
common.buy 205.45 €
Law of Contracts, Volume 3 Theophilus Parsons / Kniha Pevná
common.buy 43.53 €
Go on a Critter Scavenger Hunt Emily Kington / Kniha Pevná
common.buy 29.59 €
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Kniha Brožovaná
common.buy 9.79 €
How Great Cities Happen John Stanley / Kniha Pevná
common.buy 163.83 €
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Kniha Brožovaná
common.buy 37.26 €
Top
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Kniha Brožovaná
common.buy 11.81 €
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Kniha Brožovaná
common.buy 42.41 €
Official History of Britain: Our Story in Numbers as Told by the Office For National Statistics Boris Starling / E-kniha Adobe ePub DRM
common.buy 7.67 €
Feathers of Color Lionel Douglass / Kniha Pevná
common.buy 21.71 €
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Kniha Pevná
common.buy 109.18 €
Cost-Minimizing Choice Behavior in Transportation Planning Sven B. Erlander / Kniha Brožovaná
common.buy 102.82 €
Magritte CHAMBERS NICHOLAS / Kniha Pevná
common.buy 52.72 €
Emerging Trends in International Law on Secession Jelena Pifat / Kniha Brožovaná
common.buy 98.48 €
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Kniha Pevná
common.buy 146.76 €
Foundation Core GCSE Maths 1-3 Michael White / Kniha Brožovaná
common.buy 12.82 €
Black Mountains Ordnance Survey / Tlačovina Mapa
common.buy 18.07 €
King Arthur Trilogy Rosemary Sutcliff / Kniha Brožovaná
common.buy 15.95 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?