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 Formal Methods in Computer-Aided Design Albert Camilleri

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Albert Camilleri

Mandayam Srivas

Língua

Inglês

Livro Capa mole

Livro Formal Methods in Computer-Aided Design Albert Camilleri

Código Libristo: 05274636

Editoras Springer, Berlin, novembro 1995

This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Descrição completa

Código Libristo: 05274636

?

points

118 b

48.79 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Livro

Capa mole

22.92 €

Géométrie sacrée Miranda Lundy

/

Capa mole

8.17 €

Les Maîtres de Bayreuth Charlie Roquin

/

Capa mole

10.30 €

LA FACE CACHEE DU MARCHE DE L'ART Georgina adam

/

Capa mole

29.69 €

Baudolino Umberto Eco

/

Capa mole

15.55 €

Kommunalrecht Thüringen Till Buchholz

/

Capa mole

21.11 €

Sprawdziany dla klasy 4 Język angielski Paszylk Bartłomiej

/

Capa mole

6.25 €

Flash Gordon 42. Cilt Dan Barry

/

Capa mole

21.81 €

Sirr-i Salat Imam Humeyni

/

Capa mole

12.52 €

Programme Du Cours Des Maladies Epidemiques ROCHARD-C

/

Capa mole

12.32 €

Dítěti vstříc: Teorie literatury pro děti a mládež Lukavská Jana Segi

/

Capa mole

10.40 €

Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin

/

DVD

9.59 €

Darstellung der Liebe im L'Heptameron von Marguerite de Navarre Susanne Hasenstab

/

Capa mole

15.25 €

Kinderalbum op. 39 für Klavier Peter I. Tschaikowski

/

Partituras

18.68 €

Modern Drumming. Schlagzeugschule mit CD zum Mitspielen / Modern Drumming Grooves, m. 1 Audio-CD Diethard Stein

/

Capa mole

22.92 €

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

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 Formal Methods in Computer-Aided Design

Autor Albert Camilleri, Mandayam Srivas

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1996

Número de páginas 478

EAN 9783540619376

ISBN 3540619372

Código Libristo 05274636

Editoras Springer, Berlin

Peso 628

Dimensões 156 x 234 x 24

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica

Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)

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 > Equipamento informático

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

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

Fundamentals of Biomechanics Dawn L. Leger

/

Capa mole

82.84 €

Mystery of Hedgehog Hill Ron Dennis

/

Capa mole

9.29 €

Mental Models Theory of Reasoning Walter Schaeken

/

Livro de capa dura

205.08 €

God Pocket Bruce Wilkinson

/

Livro de capa dura

11.00 €

Manual De Uso De La Moxibustión CHAO CHANG

/

Capa mole

9.49 €

Faith Through Reason J Matlary

/

Capa mole

16.56 €

Making Human Rights a Reality Emile M Hafner Burton

/

Capa mole

32.83 €

Guy Free, Working on Me Shauna Hoffman

/

Capa mole

6.76 €

Tropical Renditions Christine Bacareza Balance

/

Livro de capa dura

108.09 €

Lectures on Nervous and Mental Diseases Charles Sinclaire Elliott

/

Livro de capa dura

45.56 €

C. S. Lewis A Life Alister McGrath

/

Capa mole

16.96 €

The Best American Poetry Heather McHugh

/

Livro de capa dura

25.55 €

Models of God and Alternative Ultimate Realities Jeanine Diller

/

Capa mole

213.67 €

Irish Fine Art in the Early Modern Period CAROLINE PEGUM

/

Capa mole

43.84 €

The Dalton Divorce Case Anonymous

/

Capa mole

16.36 €

Wilde About The Girl Louise Pentland

/

Capa mole

11.91 €

Topeka School LERNER BEN

/

Capa mole

7.97 €

Sources For Roman History, B.C. 133-170 (1903) Abel Hendy Jones Greenidge

/

Livro de capa dura

37.47 €

Ultra-High Performance Concrete and High Performance Construction Materials Ekkehard Fehling

/

Capa mole

35.76 €

Yours for the Asking - An Indispensable Guide to Fundraising and Management Reynold Levy

/

Livro de capa dura

26.86 €

Monarchy and the End of Empire Philip Murphy

/

Capa mole

67.18 €

Why Do Leaves Change Color? Betsy Maestro

/

Capa mole

6.76 €

Emotional Growth and Learning Paul Greenhalgh

/

Capa mole

95.87 €

Your Rights Megan Addis

/

Capa mole

33.43 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?