Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
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 phoneComo comprar

Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods in Computer-Aided Design Warren A. Hunt
Código Libristo: 01563129
Editoras Springer, Berlin, novembro 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Descrição completa
? points 236 b
97.28 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON / Livro Livro
common.buy 80.11 €
Em breve
DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth / Livro Capa mole
common.buy 11.91 €
Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel / Livro Capa mole
common.buy 15.25 €
Dinosaurios y criaturas prehistóricas EMILY HAWKINS / Livro Livro de capa dura
common.buy 30.10 €
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Livro Livro de capa dura
common.buy 208.82 €
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Livro Livro de capa dura
common.buy 16.05 €
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Livro Capa mole
common.buy 27.98 €
Kinderhospizarbeit Sven Jennessen / E-book Adobe ePub DRM
common.buy 28.68 €
Broste copenhagen Milchkrug Nordic Sand Jogo/brinquedo Brinquedo
common.buy 42.93 €
Em breve
BACK Green / Livro Capa mole
common.buy 21.91 €
Une breve histoire de la philosophie Droit / Livro Capa mole
common.buy 11.41 €
Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad / Livro Capa mole
common.buy 41.82 €
Loi sur les armes ? feu (Canada) - Edition 2018 La Bibliotheque Juridique / Livro Capa mole
common.buy 12.42 €
Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze / Livro Capa mole
common.buy 40.71 €
Julius Caesar William Shakespeare / Livro Livro
common.buy 6.46 €
Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten / Livro Capa mole
common.buy 31.82 €
Como contar historias sobre desastres? Martins Mario / Livro Capa mole
common.buy 29.20 €

This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
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 Warren A. Hunt, Steven D. Johnson
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2000
Número de páginas 552
EAN 9783540412199
ISBN 3540412190
Código Libristo 01563129
Editoras Springer, Berlin
Peso 780
Dimensões 155 x 235 x 29

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Livros de referência, informação & temas interdisciplinares > Pesquisa & informação: generalidades > Teoria da informação > Cibernética e teoria de sistemas
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 > Ciência informática > Inteligência artificial
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

The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Livro Capa mole
common.buy 112.14 €
Look Smarter Than You are with Oracle Enterprise Performance Reporting Cloud Interrel Consulting / Livro Capa mole
common.buy 35.35 €
Addresses Educational, Political, Scientific, Religious James Thomas Edwards / Livro Livro de capa dura
common.buy 30.20 €
Legende Ridley Scott / Vídeo Blu-ray
common.buy 11.61 €
Edge of Grace Christa Allan / Livro Capa mole
common.buy 12.52 €
Tribe Sebastian Junger / Livro Capa mole
common.buy 9.39 €
The Wonderful Wizard Of Oz MR Lyman Frank Baum / Livro Capa mole
common.buy 10.40 €
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiation DIANZUO WANG / Livro Capa mole
common.buy 97.28 €
Principal
Tales From Acorn Wood Little Library Julia Donaldson / Livro Livro concertina
common.buy 7.16 €
Business Email Marc Roche / Livro Capa mole
common.buy 12.42 €
Hidden Beginnings: The Hidden Series Nicole Colville / Livro Capa mole
common.buy 13.33 €
Architectural Studies In France (1890) John Louis Petit / Livro Capa mole
common.buy 36.16 €
Mr Le Mans: Tom Kristensen Dan Philipsen / Livro Livro de capa dura
common.buy 39.29 €
Chinese Economic Statecraft from 1978 to 1989 Priscilla Roberts / Livro Livro de capa dura
common.buy 163.86 €
CCIE Enterprise Infrastructure Foundation Narbik Kocharians / Livro Capa mole
common.buy 96.98 €
Hand-book Of Toxicology Preston Benjamin Rose / Livro Capa mole
common.buy 16.56 €
Principal
MICHAEL STORRINGS SPRINGTIME IN PARIS GALISON / Jogo/brinquedo Puzzle
common.buy 13.63 €
Misconceptions Naomi Wolf / Livro Capa mole
common.buy 21.91 €
Gestures and Speech Pierre FeyereisenJacques-Dominique de Lannoy / Livro Livro de capa dura
common.buy 81.32 €
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Livro Livro de capa dura
common.buy 194.27 €
Press Censorship in Elizabethan England Clegg / Livro Livro de capa dura
common.buy 114.56 €
Loss of the Ship Essex Sunk By a Whale Owen Chase / Livro Capa mole
common.buy 13.02 €
Principal
Incal Alexandro Jodorowsky / Livro Livro de capa dura
common.buy 33.03 €
Political Development and the New Realism in Sub-Saharan Africa David E. Apter / Livro Livro de capa dura
common.buy 52.32 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?