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

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Formal Methods and Software Engineering Jin Song Dong
Código Libristo: 01558768
Editores Springer, Berlin, noviembre 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Un Regalo para el Alma 3 Jose Maria Ventura / Libro Tapa blanda
common.buy 15.39 €
La sala de lo penal MUNILLA PETREÑAS / Libro Tapa blanda
common.buy 13.19 €
Soleil d'or CLERGEOT-L / Libro Tapa blanda
common.buy 27.09 €
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Libro Tapa blanda
common.buy 27.89 €
Juwelen aus El Moryas Schatzhaus El Morya / Libro Tapa blanda
common.buy 16.49 €
Wittgenstein et la question du livre Guest / Libro Tapa blanda
common.buy 31.69 €
Mini livre à gratter - Dinosaures Duddek / Libro Tapa blanda
common.buy 12.59 €
Aria - Tome 40 - Carnet de voyage Weyland Michel / Libro Tapa dura
common.buy 20.19 €
Wise Man's Grandchild 12 Shunsuke Ogata / Libro Tapa blanda
common.buy 7.29 €
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Libro Tapa blanda
common.buy 7.89 €
Jméno-objev a zmizení věci Antonín Mokrejš / Libro Tapa blanda
common.buy 10.59 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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 Formal Methods and Software Engineering
Autor Jin Song Dong, Jim Woodcock
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2003
Número de páginas 682
EAN 9783540204619
ISBN 354020461X
Código Libristo 01558768
Editores Springer, Berlin
Peso 966
Dimensiones 155 x 235 x 35

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
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

Wall Jean Paul Sartre / Libro Tapa blanda
common.buy 12.69 €
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Libro Tapa dura
common.buy 18.09 €
BattleTech Legends Robert Thurston / Libro Tapa blanda
common.buy 14.39 €
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Libro Tapa blanda
common.buy 18.19 €
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Libro Tapa blanda
common.buy 24.99 €
Bird House Libby Walden / Libro Libro de concertinas
common.buy 12.79 €
The Higher Power of Lucky Susan Patron / Libro Tapa blanda
common.buy 7.29 €
Women and Leadership Around the World Cynthia Cherrey / Libro Tapa blanda
common.buy 64.09 €
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Libro Tapa dura
common.buy 80.19 €
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Libro Tapa blanda
common.buy 58.49 €
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Libro Tapa dura
common.buy 158.89 €
How We Know Harry Binswanger / Libro Tapa dura
common.buy 40.69 €
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Libro Tapa blanda
common.buy 10.89 €

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