Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods for Executable Software Models Marco Bernardo
Koda Libristo: 02667827
Založba Springer International Publishing AG, maj 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Celoten opis
? points 118 b
48.89 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner / Knjiga Mehka
common.buy 33.60 €
Top
Tie vytúžené slová / Knjiga Mehka
common.buy 15.28 €
Colores 1 Eria Krisztina Nagy Seres / Knjiga Mehka
common.buy 12.24 €
Lunchbox na każdy dzień. Dookoła świata Bareła Malwina / Knjiga Trda
common.buy 13.56 €
Auge und die optische Abbildung Wiebke Gelder / Knjiga Mehka
common.buy 15.28 €
CIMT - Constraint Induced Movement Therapy Sabine Lamprecht / E-knjiga Adobe ePub DRM
common.buy 38.66 €
Две жизни. Часть II Конкордия Антарова / Knjiga Mehka
common.buy 7.89 €
Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann / Knjiga Mehka
common.buy 66.30 €
Trahison Que Tu Alimentes Tracy Lorraine / Knjiga Mehka
common.buy 14.77 €
Faber-Castell Buntstift Jumbo Grip 16er Metalletui Igra/Igrača Igrača
common.buy 29.65 €
Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M / Knjiga Mehka
common.buy 29.75 €
de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P / Knjiga Mehka
common.buy 13.05 €
Plain Principles Of Prose Composition (1893) William Minto / Knjiga Mehka
common.buy 21.15 €
Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder / Knjiga Trda
common.buy 42.41 €
Etica e hermeneutica Everton Nery Carneiro / Knjiga Mehka
common.buy 41.90 €
Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY / Knjiga Mehka
common.buy 13.96 €
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Knjiga Mehka
common.buy 24.90 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods for Executable Software Models
Avtor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2014
Število strani 343
EAN 9783319073163
ISBN 3319073168
Koda Libristo 02667827
Založba Springer International Publishing AG
Teža 5329
Mere 155 x 235 x 20

Kategorije

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Digital Media Rimon Elias / Knjiga Mehka
common.buy 47.78 €
Go on a Critter Scavenger Hunt Emily Kington / Knjiga Trda
common.buy 28.24 €
Mathematics for Dyslexics and Dyscalculics - A Teaching Handbook 4e Steve Chinn / Knjiga Mehka
common.buy 46.76 €
Law of Contracts, Volume 3 Theophilus Parsons / Knjiga Trda
common.buy 43.62 €
Top
Macbeth Jo Nesbo / Knjiga Mehka
common.buy 7.99 €
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Knjiga Trda
common.buy 194.68 €
Confessions: The Princess, the Prick & the Priest Ella Frank / Knjiga Mehka
common.buy 17.50 €
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Knjiga Trda
common.buy 104.27 €
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Knjiga Mehka
common.buy 9.81 €
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Knjiga Mehka
common.buy 37.35 €
Top
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Knjiga Mehka
common.buy 11.94 €
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Knjiga Mehka
common.buy 40.18 €
Official History of Britain: Our Story in Numbers as Told by the Office For National Statistics Boris Starling / E-knjiga Adobe ePub DRM
common.buy 6.87 €
How Great Cities Happen John Stanley / Knjiga Trda
common.buy 148.81 €
Environmental Sustainability in the Mediterranean Region Carla Sofia Santos Ferreira / Knjiga Trda
common.buy 155.80 €
Magritte CHAMBERS NICHOLAS / Knjiga Trda
common.buy 55.37 €
Feathers of Color Lionel Douglass / Knjiga Trda
common.buy 21.76 €
Cost-Minimizing Choice Behavior in Transportation Planning Sven B. Erlander / Knjiga Mehka
common.buy 97.49 €
Emerging Trends in International Law on Secession Jelena Pifat / Knjiga Mehka
common.buy 92.93 €
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Knjiga Trda
common.buy 147.09 €
Foundation Core GCSE Maths 1-3 Michael White / Knjiga Mehka
common.buy 12.14 €
Black Mountains Ordnance Survey / Tiskani izdelki Zemljevid
common.buy 16.90 €
King Arthur Trilogy Rosemary Sutcliff / Knjiga Mehka
common.buy 14.97 €
My Education William Seward Burroughs / Knjiga Mehka
common.buy 11.03 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?