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

FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Código Libristo: 01563353
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febrero 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Descripción completa
? points 276 b
112.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Cut scene. Un montaggio diverso sull'autolesionismo Rita Latella / Libro Tapa blanda
common.buy 28.69 €
Under the Stars (Punjabi Gurmukhi Kids Book) Kidkiddos Books / Libro Tapa blanda
common.buy 17.19 €
Bela Dama - A Empresaria do Ano Cleberson Eduardo Da Costa / Libro Tapa blanda
common.buy 10.69 €
Guadeloupe COLLECTIFS GALLIMARD LOISIRS / Libro Tapa blanda
common.buy 15.49 €
Studentenküche veggie - Mehr als 60 einfache vegetarische Rezepte, Infos zu leckerem Fleischersatz und das wichtigste Küchen-Know-How Ann-Cathrine Johnsson / Libro Tapa dura
common.buy 14.49 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / Libro Tapa blanda
common.buy 33.79 €
La muchacha de los ojos de oro HONORE DE BALZAC / Libro Tapa blanda
common.buy 11.39 €
Paroles de La Grece Antique Jacques Lacarriere / Libro Tapa blanda
common.buy 14.49 €
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / Libro Tapa blanda
common.buy 73.69 €
Folgebewertung des Goodwill Tino Fettback / Libro Tapa blanda
common.buy 72.79 €
Ausweg ins Unwirkliche Clemens Brunn / Libro Tapa blanda
common.buy 49.19 €
Russische Reise Hermann Bahr / Libro Tapa blanda
common.buy 22.79 €
Vertragsstrafenklauseln im Arbeitsrecht Manuel Sedlak / Libro Tapa blanda
common.buy 17.89 €
"Bemerkungen uber eine sonderbare litterarische Erscheinung Carola Katharina Bauer / Libro Tapa blanda
common.buy 17.89 €
Aushandlung Ohne Dissens? Sarah Hitzler / Libro Tapa blanda
common.buy 58.09 €
Guida per l'insegnante Telis Marin / Libro Tapa blanda
common.buy 17.59 €
BLACK CAT -Jamais de jasmin + CD (A1) MARGUERITE DESCOMBES / Libro Tapa blanda
common.buy 9.09 €

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

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 FME 2001: Formal Methods for Increasing Software Productivity
Autor Jose N. Oliveira, Pamela Zave
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2001
Número de páginas 634
EAN 9783540417910
ISBN 3540417915
Código Libristo 01563353
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1083
Dimensiones 155 x 233 x 35

Categorías

Economía, finanzas, empresa y gestión > Empresa y gestión > Matemáticas y sistemas empresariales
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 > Aplicaciones empresariales y de negocios
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

Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Libro Tapa dura
common.buy 122.19 €
Cambridge Old English Reader Richard Marsden / Libro Tapa dura
common.buy 143.69 €
Glass of Time MICHAEL / Libro Tapa blanda
common.buy 14.49 €
Switch Mode Power Conversion K. Kit Sum / Libro Tapa dura
common.buy 328.29 €
Miracle Gilbert Morris / Libro Tapa blanda
common.buy 15.39 €
Special and Inclusive Education Thér?se Day / Libro Tapa blanda
common.buy 73.49 €
Making Money Stephen Briggs / Libro Tapa blanda
common.buy 19.89 €
Boys Who Rocked the World Michelle Roehm McCann / Libro Tapa blanda
common.buy 12.69 €
Information Delivery in the 21st Century Tammy Nickelson Dearie / Libro Tapa blanda
common.buy 74.09 €
There Is a Rainbow Inside of Me Debra Ann Healey / Libro Tapa blanda
common.buy 17.09 €
STEAM Kids Christmas: Science / Technology / Engineering / Art / Math Activity Countdown for Kids Anne Carey / Libro Tapa blanda
common.buy 24.79 €
SOLUTION OF BIBLE PROBLEMS & L Benjamin Casey / Libro Tapa dura
common.buy 34.79 €
The Principles of the Law of Municipal Corporations. Charles Burke Elliott / Libro Tapa blanda
common.buy 31.79 €
Party Leaders in the United States Congress, 1789-2012 Valerie Heitshusen / Libro Tapa blanda
common.buy 16.39 €
Escape Heleen van Royen / Libro Tapa blanda
common.buy 29.59 €
Understanding Genre and Medieval Romance K.S. Whetter / Libro Tapa dura
common.buy 242.59 €
Rational Risk Policy W. Kip Viscusi / Libro Tapa dura
common.buy 197.79 €
Research Methods for Managers John Gill / Libro Tapa blanda
common.buy 51.39 €
Evolution Jeri Travis / Libro Tapa dura
common.buy 27.39 €
A Tale of Two Cities Charles Dickens / Libro Tapa blanda
common.buy 12.69 €
Naturalizing Epistemic Virtue Abrol Fairweather / Libro Tapa dura
common.buy 106.59 €
The Pattern Cookbook (1890) Butterick Publishing / Libro Tapa dura
common.buy 63.19 €
B. J. Harrison Reads The Wind in the Willows Grahame / Audiolibro MP3
common.buy 10.19 €
Secret Surveyor Secret Surveyor / Libro electrónico Adobe ePub DRM
common.buy 10.49 €

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?