phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Formal Methods for Executable Software Models

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 154 b
61.46 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Enlightenment Phantasies Harold Mah / Brožovaná
common.buy 47.33 €
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Brožovaná
common.buy 125.15 €
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Pevná
common.buy 161.89 €
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Pevná
common.buy 121.11 €
Emerging Trends in International Law on Secession Jelena Pifat / Brožovaná
common.buy 122.22 €
Black Mountains Ordnance Survey / Mapa
common.buy 19.67 €
Foundation Core GCSE Maths 1-3 Michael White / Brožovaná
common.buy 16.34 €
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Brožovaná
common.buy 14.63 €
Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Brožovaná
common.buy 79.02 €
Feathers of Color Lionel Douglass / Pevná
common.buy 24.32 €
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Pevná
common.buy 48.74 €

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

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

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