Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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 EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods for Executable Software Models Marco Bernardo
Libristo kod: 02667827
Nakladnici Springer International Publishing AG, svibanj 2014
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Cijeli opis
? points 125 b
51.62 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Methods for Executable Software Models
Autor Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 343
EAN 9783319073163
ISBN 3319073168
Libristo kod 02667827
Nakladnici Springer International Publishing AG
Težina 5329
Dimenzije 155 x 235 x 20

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Digital Media Rimon Elias / Knjiga Meki uvez
common.buy 50.51 €
Go on a Critter Scavenger Hunt Emily Kington / Knjiga Tvrdi uvez
common.buy 29.59 €
Mathematics for Dyslexics and Dyscalculics - A Teaching Handbook 4e Steve Chinn / Knjiga Meki uvez
common.buy 49.19 €
Law of Contracts, Volume 3 Theophilus Parsons / Knjiga Tvrdi uvez
common.buy 45.76 €
Top
Macbeth Jo Nesbo / Knjiga Meki uvez
common.buy 8.58 €
Advances in Cognitive Neurodynamics (VI) José M. Delgado-García / Knjiga Tvrdi uvez
common.buy 205.49 €
Confessions: The Princess, the Prick & the Priest Ella Frank / Knjiga Meki uvez
common.buy 18.38 €
Fluctuational Effects in the Dynamics of Liquid Crystals E.I. Kats / Knjiga Tvrdi uvez
common.buy 109.21 €
Happy Birthday Braylon - The Big Birthday Activity Book: Personalized Children's Activity Book Birthdaydr / Knjiga Meki uvez
common.buy 10.30 €
A Magyar Birosagi Szervezet Es Perjog Az Arpad-Es A Vegyes-Hazi Kiralyok Alatt (1899) Hajnik Imre / Knjiga Meki uvez
common.buy 39.19 €
Top
The Lost Art of Handwriting Workbook: Practice Sheets to Improve Your Penmanship Brenna Jordan / Knjiga Meki uvez
common.buy 12.82 €
ENGLISH FILE ADVANCED PLUS MULTIPACK TEACHERS GUIDE +RESOURCE Christina Latham-Koenig / Knjiga Meki uvez
common.buy 42.32 €
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 7.26 €
How Great Cities Happen John Stanley / Knjiga Tvrdi uvez
common.buy 156.29 €
Environmental Sustainability in the Mediterranean Region Carla Sofia Santos Ferreira / Knjiga Tvrdi uvez
common.buy 164.37 €
Magritte CHAMBERS NICHOLAS / Knjiga Tvrdi uvez
common.buy 57.98 €
Feathers of Color Lionel Douglass / Knjiga Tvrdi uvez
common.buy 22.82 €
Cost-Minimizing Choice Behavior in Transportation Planning Sven B. Erlander / Knjiga Meki uvez
common.buy 102.84 €
Emerging Trends in International Law on Secession Jelena Pifat / Knjiga Meki uvez
common.buy 98.50 €
Neoliberalism and Cultural Transition in New Zealand Literature, 1984-2008 Jennifer Lawn / Knjiga Tvrdi uvez
common.buy 146.79 €
Foundation Core GCSE Maths 1-3 Michael White / Knjiga Meki uvez
common.buy 12.82 €
Black Mountains Ordnance Survey / Tiskanica Mapa
common.buy 18.07 €
King Arthur Trilogy Rosemary Sutcliff / Knjiga Meki uvez
common.buy 16.05 €
My Education William Seward Burroughs / Knjiga Meki uvez
common.buy 11.81 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?