Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automatic Methods for the Refinement of System Models Julia Seiter
Libristo-code: 12580308
Uitgeverij Springer International Publishing AG, juli 2016
This book provides a comprehensive overview of automatic model refinement, which helps readers close... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Cosas que quedaron en la sombra Martínez López / Boek Gebonden (paperback)
common.buy 17.79 €
Streaming P2P para comunicação móvel sob demanda Andreas Keiper / Boek Gebonden (paperback)
common.buy 44.50 €
TOP
Intensive Course for TOPIK ¿ Success - All-in-One Study Guide Sung Hee Son / Boek Gebonden (paperback)
common.buy 29.83 €
Mon agenda Falling in Reverse 2025-2026 Core / Boek Gebonden (paperback)
common.buy 13.75 €
Geschichte des späteren Mittelalters von 1197 bis 1492 Johann Loserth / Boek Gebonden (paperback)
common.buy 53.40 €
The Love Hypothesis - Die theoretische Unwahrscheinlichkeit von Liebe Christine Strüh / Boek Gebonden (paperback)
common.buy 10.31 €
Voordelig
LA MAESTRIA DE LA VIDA RUIZ JR. / Boek Gebonden (paperback)
common.buy 11.32 €
Après le vieux jeu Joëlle Chambon / Boek Gebonden (paperback)
common.buy 31.45 €
Quantix Laurent Schafer / Boek Gebonden (paperback)
common.buy 25.28 €
Магические карты. "Предсказания духов" (32 карты + руководство) Наталья Степанова / Boek binding.
common.buy 23.96 €
Deux ans dans les pas de Zamaraï Païkan, général et héros afghan Cholous / Boek Gebonden (paperback)
common.buy 31.45 €
Conclure la vente - 2e éd. - Décrochez plus de commandes, signez plus de contrats Michaël Aguilar / Boek Gebonden (paperback)
common.buy 32.66 €
RHF-Revista de Historia del Fascismo Ernesto Mila / Boek Gebonden (paperback)
common.buy 23.86 €
Conozca a Se Enemigo: Know Your Enemy Kenneth Copeland / Boek Gebonden (paperback)
common.buy 7.68 €
O anarquismo no movimento punk Oliveira Valdir Da Silva / Boek Gebonden (paperback)
common.buy 55.12 €
Wilsberg Lucas Seeberger / Video Dvd
common.buy 19.51 €

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.?

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automatic Methods for the Refinement of System Models
Auteur Julia Seiter, Robert Wille, Rolf Drechsler
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2016
Aantal pagina's 94
EAN 9783319414799
ISBN 3319414798
Libristo-code 12580308
Uitgeverij Springer International Publishing AG
Gewicht 1708
Afmetingen 155 x 235 x 8

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Elektronica: stroomketens en componenten
Technologie, techniek, landbouw, industriële processen > Technologie: algemene onderwerpen > Techniek: algemeen
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Is the Western Diet Making the World Sick? Susan Hunnicutt / Boek Gebonden (paperback)
common.buy 31.75 €
Untitled 9781464229732 Emily McIntire / Boek Gebonden (paperback)
common.buy 15.06 €
With Pen and Scalpel: The Story of St. Luke the Evangelist William G. Collins / Boek Gebonden (paperback)
common.buy 13.95 €
Folklore and Fable: Aesop, Grimm, Andersen: V17 Harvard Classics Aesop / Boek Gebonden (harde band)
common.buy 49.56 €
Oxford Handbook of Jewish Daily Life in Roman Palestine Catherine Hezser / Boek Gebonden (paperback)
common.buy 64.43 €
Hands-On Social Studies, Grade 4: Saskatchewan Jennifer Lawson / Boek Gebonden (paperback)
common.buy 156.88 €
The Fat Artist and Other Stories Benjamin Hale / Boek Gebonden (paperback)
common.buy 12.84 €
Talent, Volume 1 Christopher Golden / Boek Gebonden (paperback)
common.buy 12.13 €
The Pocket Psycho John Clarke / Boek Gebonden (paperback)
common.buy 14.86 €
Biomedical Science and Technology Mark Walters / Boek Gebonden (harde band)
common.buy 91.94 €
Mikayla's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Boek Gebonden (paperback)
common.buy 7.68 €
Unlimited Creative Corporations Ruby N. Lewis / Boek Gebonden (paperback)
common.buy 53.91 €
How to Tune and Modify Automotive Engine Management Systems Jeff Hartman / Boek Gebonden (paperback)
common.buy 39.44 €
Deaf Children in China Alison Callaway / Boek Gebonden (harde band)
common.buy 77.58 €
My Self the Enemy D Espect / Boek Gebonden (paperback)
common.buy 16.18 €
The TAN Guide to the Spiritual Combat and a Treatise on Peace of Soul Dom Lorenzo Scupoli / Boek Gebonden (paperback)
common.buy 8.39 €
The No-Stress Holiday Organizer: An All-In-One Guide to Planning and Recording Your Holidays Cedar Fort Inc / Boek Gebonden (paperback)
common.buy 13.95 €
Hop on Patty Nelson / Boek Gebonden (paperback)
common.buy 23.26 €
The Binomial Theorem - A Selection of Classic Mathematical Articles Containing Examples and Exercises in Algebra (Mathematics Series) Various / Boek Gebonden (paperback)
common.buy 24.77 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?