«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Idioma InglésInglés
Libro Tapa blanda
Libro Automatic Methods for the Refinement of System Models Julia Seiter
Código Libristo: 12580308
Editores Springer International Publishing AG, julio 2016
This book provides a comprehensive overview of automatic model refinement, which helps readers close... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

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

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

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Automatic Methods for the Refinement of System Models
Autor Julia Seiter, Robert Wille, Rolf Drechsler
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2016
Número de páginas 94
EAN 9783319414799
ISBN 3319414798
Código Libristo 12580308
Editores Springer International Publishing AG
Peso 1708
Dimensiones 155 x 235 x 8

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Electrónica: circuitos y componentes
Tecnología, ingeniería, agricultura, procedimientos industriales > Tecnología: cuestiones generales > Ingeniería: general
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Is the Western Diet Making the World Sick? Susan Hunnicutt / Libro Tapa blanda
common.buy 32.69 €
Untitled 9781464229732 Emily McIntire / Libro Tapa blanda
common.buy 15.79 €
With Pen and Scalpel: The Story of St. Luke the Evangelist William G. Collins / Libro Tapa blanda
common.buy 14.49 €
Folklore and Fable: Aesop, Grimm, Andersen: V17 Harvard Classics Aesop / Libro Tapa dura
common.buy 51.39 €
Oxford Handbook of Jewish Daily Life in Roman Palestine Catherine Hezser / Libro Tapa blanda
common.buy 66.39 €
Hands-On Social Studies, Grade 4: Saskatchewan Jennifer Lawson / Libro Tapa blanda
common.buy 169.19 €
The Fat Artist and Other Stories Benjamin Hale / Libro Tapa blanda
common.buy 13.49 €
Talent, Volume 1 Christopher Golden / Libro Tapa blanda
common.buy 12.69 €
The Pocket Psycho John Clarke / Libro Tapa blanda
common.buy 14.69 €
Biomedical Science and Technology Mark Walters / Libro Tapa dura
common.buy 97.69 €
Mikayla's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Libro Tapa blanda
common.buy 8.09 €
Unlimited Creative Corporations Ruby N. Lewis / Libro Tapa blanda
common.buy 56.79 €
How to Tune and Modify Automotive Engine Management Systems Jeff Hartman / Libro Tapa blanda
common.buy 41.89 €
Deaf Children in China Alison Callaway / Libro Tapa dura
common.buy 81.89 €
My Self the Enemy D Espect / Libro Tapa blanda
common.buy 17.09 €
The TAN Guide to the Spiritual Combat and a Treatise on Peace of Soul Dom Lorenzo Scupoli / Libro Tapa blanda
common.buy 9.09 €
The No-Stress Holiday Organizer: An All-In-One Guide to Planning and Recording Your Holidays Cedar Fort Inc / Libro Tapa blanda
common.buy 15.29 €
Hop on Patty Nelson / Libro Tapa blanda
common.buy 24.09 €
The Binomial Theorem - A Selection of Classic Mathematical Articles Containing Examples and Exercises in Algebra (Mathematics Series) Various / Libro Tapa blanda
common.buy 26.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?