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

Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Integrated Formal Methods Wolfgang Grieskamp
Código Libristo: 01563119
Editores Springer, Berlin, noviembre 1999
This book constitutes the refereed proceedings of the Second International Conference on Integrated... 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

Bluthochdruck nach der Menopause Jürgen Scholze / Libro Tapa blanda
common.buy 56.99 €
La encrucijada de la educación / Libro Tapa blanda
common.buy 23.69 €
ulaviyal nerukadi / உளவியல் நெருக்கடி V Balaji / Libro Tapa blanda
common.buy 17.19 €
Pillole di Vendere! Beppe Damioli / Libro Tapa blanda
common.buy 13.79 €
Coach Rozhovory Zdeněk Haník / Libro Tapa dura
common.buy 13.99 €
La Maison de l'ombre Carbonel / Libro Tapa blanda
common.buy 25.39 €
Popular
Coloriages mystères Les grands classiques Disney Disney / Libro Tapa blanda
common.buy 21.69 €
Económico
Rozbřesk Stephenie Meyer / Libro Tapa blanda
common.buy 13.19 €
Entwicklung und Migration Dietrich Thränhardt / Libro Tapa blanda
common.buy 27.19 €
Económico
Šenkýřka krásy Jan Schneider / Libro Libro
common.buy 2.29 €
Pane ministře, volá Sarajevo Vladimír Přibský / Libro Hoja
common.buy 7.29 €
Moje nezbedné štěně Hry s Lumpíkem? Holly Webb / Libro Tapa blanda
common.buy 6.39 €
Rétorika aneb řeč jako nástroj Eva Tinková / Libro Tapa blanda
common.buy 8.39 €

This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.

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 Integrated Formal Methods
Autor Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2000
Número de páginas 446
EAN 9783540411963
ISBN 3540411968
Código Libristo 01563119
Editores Springer, Berlin
Peso 700
Dimensiones 155 x 235 x 23

Categorías

Computación e informática > Ciencias de la computación > Inteligencia artificial > Aprendizaje automático («Machine learning»)
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

Próximamente
Hidden Heart Of Emily Hudson Melissa Jones / Libro Tapa blanda
common.buy 8.29 €
Bedtime Stories for Kids Imogen Young / Libro Tapa dura
common.buy 26.59 €
Nkuzimatism: The Holy Ankhuwa Abstracts Vol. 3 Mazi Chukwudi Okeke Maduno / Libro Tapa blanda
common.buy 16.39 €
Dying for Mercy LP: A Novel of Suspense Mary Jane Clark / Libro Tapa blanda
common.buy 22.99 €
Gunton's Magazine, Volume 20 George Gunton / Libro Tapa dura
common.buy 42.59 €
Immigrants' Son, An American Story George Trebat / Libro Tapa blanda
common.buy 21.99 €
Proteomics Mass Spectrometry Methods Paula Meleady / Libro Tapa blanda
common.buy 137.49 €
Jewish Bialystok and Its Diaspora Rebecca Kobrin / Libro Tapa blanda
common.buy 34.19 €
Criminal Justice No'l Merino / Libro Tapa blanda
common.buy 39.39 €
Landmarks in Medical Genetics Harper / Libro Tapa dura
common.buy 129.19 €
Biggle Swine Book Jacob Biggle / Libro Tapa dura
common.buy 7.19 €
Broken Knight / Libro Tapa blanda
common.buy 14.29 €
Introduction to Nonlinear and Global Optimization Eligius M.T. Hendrix / Libro Tapa blanda
common.buy 55.49 €
Classical Circuit Theory Omar Wing / Libro Tapa dura
common.buy 169.09 €
It's Now or Never Carole Matthews / Libro Tapa blanda
common.buy 10.49 €
Oxford Reading Tree: Level 1: More First Words: Class Pack of 36 Roderick Hunt / Libro Tapa blanda
common.buy 217.29 €
Black Cat TRUE ADVENTURE STORIES + CD ( Reading a Training Level 3) Peter Foreman / Libro Tapa blanda
common.buy 9.89 €
Local Girls Caroline Zancan / Libro Tapa blanda
common.buy 21.29 €
Out of Left Field Rebecca T. Alpert / Libro Tapa blanda
common.buy 41.49 €
Aria De Luca Jaclin Marie / Libro Tapa blanda
common.buy 14.99 €
Gilmore Girls Premium Advent Calendar Insight Editions / Calendario/Diario Calendario
common.buy 131.39 €

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?