Verificar estado da encomenda

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Integrated Formal Methods Wolfgang Grieskamp

Integrated Formal Methods

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

Wolfgang Grieskamp

Língua

Inglês

Livro Capa mole

Livro Integrated Formal Methods Wolfgang Grieskamp

Código Libristo: 01563119

Editoras Springer, Berlin, novembro 1999

This book constitutes the refereed proceedings of the Second International Conference on Integrated... Descrição completa

Código Libristo: 01563119

?

points

132 b

54.26 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Coach Rozhovory Zdeněk Haník

/

Livro de capa dura

13.81 €

Rétorika aneb řeč jako nástroj Eva Tinková

/

Capa mole

7.66 €

Moje nezbedné štěně Hry s Lumpíkem? Holly Webb

/

Capa mole

6.14 €

La encrucijada de la educación

/

Capa mole

22.68 €

Pane ministře, volá Sarajevo Vladimír Přibský

/

Folha

7.35 €

ulaviyal nerukadi / உளவியல் நெருக்கடி V Balaji

/

Capa mole

16.53 €

Pillole di Vendere! Beppe Damioli

/

Capa mole

13.20 €

Entwicklung und Migration Dietrich Thränhardt

/

Capa mole

25.51 €

Šenkýřka krásy Jan Schneider

/

Livro

2.11 €

La Maison de l'ombre Carbonel

/

Capa mole

23.89 €

Coloriages mystères Les grands classiques Disney Disney

/

Capa mole

20.36 €

Bluthochdruck nach der Menopause Jürgen Scholze

/

Capa mole

54.66 €

52 otázek před manželstvím nebo společným soužitím The Gottman Institute

/

Cartões

12.19 €

Rozbřesk Stephenie Meyer

/

Capa mole

13.30 €

Arien-Album - Berühmte Arien für Bariton und Bass Alfred Dörffel

/

Partituras

39.53 €

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.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

Ewa Kasp

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Integrated Formal Methods

Autor Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2000

Número de páginas 446

EAN 9783540411963

ISBN 3540411968

Código Libristo 01563119

Editoras Springer, Berlin

Peso 700

Dimensões 155 x 235 x 23

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Aprendizagem mecânica

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Sistemas operativos

Ofereça este livro hoje

É fácil

1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Porfiri Ivanov, Russia's Naturalist Healer Daniel H Shubin

/

Capa mole

10.78 €

Criminal Justice No'l Merino

/

Capa mole

38.12 €

Jewish Bialystok and Its Diaspora Rebecca Kobrin

/

Capa mole

33.17 €

Gunton's Magazine, Volume 20 George Gunton

/

Livro de capa dura

40.94 €

Dying for Mercy LP: A Novel of Suspense Mary Jane Clark

/

Capa mole

21.88 €

Nkuzimatism: The Holy Ankhuwa Abstracts Vol. 3 Mazi Chukwudi Okeke Maduno

/

Capa mole

15.73 €

First Person: Is it a game or reality? Alex Finger

/

Capa mole

9.37 €

Immigrants' Son, An American Story George Trebat

/

Capa mole

20.06 €

Physical Review, Volume 16 Cornell University

/

Capa mole

25.51 €

Bedtime Stories for Kids Imogen Young

/

Livro de capa dura

25.21 €

Proteomics Mass Spectrometry Methods Paula Meleady

/

Capa mole

122.14 €

Broken Knight

/

Capa mole

13.51 €

Aria De Luca Jaclin Marie

/

Capa mole

14.21 €

Gilmore Girls Premium Advent Calendar Insight Editions

/

Calendário

125.87 €

Cambridge History of Arthurian Literature and Culture: Volume 1 Raluca L. Radulescu

/

Adobe ePub DRM

188.51 €

Textured Crochet Lace Renate Kirkpatrick

/

Capa mole

16.94 €

Out of Left Field Rebecca T. Alpert

/

Capa mole

52.34 €

Local Girls Caroline Zancan

/

Capa mole

20.26 €

Black Cat TRUE ADVENTURE STORIES + CD ( Reading a Training Level 3) Peter Foreman

/

Capa mole

9.77 €

Oxford Reading Tree: Level 1: More First Words: Class Pack of 36 Roderick Hunt

/

Capa mole

204.85 €

It's Now or Never Carole Matthews

/

Capa mole

10.38 €

Classical Circuit Theory Omar Wing

/

Livro de capa dura

162.28 €

Introduction to Nonlinear and Global Optimization Eligius M.T. Hendrix

/

Capa mole

53.15 €

Biggle Swine Book Jacob Biggle

/

Livro de capa dura

10.18 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?