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 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Computer Aided Verification Rajeev Alur

Computer Aided Verification

8th International Conference, CAV '96, New Brunswick, NJ, July 31 - August 3, 1996, Proceedings

Thomas Henzinger

Língua

Inglês

Livro Capa mole

Livro Computer Aided Verification Rajeev Alur

Código Libristo: 05274597

Editoras Springer, Berlin, novembro 1998

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Descrição completa

Código Libristo: 05274597

?

points

111 b

45.97 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Sobre la salvación del alma Bernard Lievegoed

/

Capa mole

12.72 €

Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung

/

Capa mole

19.59 €

Huhner-Malbuch 3 & 4 Nick Snels

/

Capa mole

15.05 €

Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang

/

Cartaz

15.75 €

Les Palestiniens face ? la conqu?te sioniste (1917-1948) Cohen

/

Capa mole

29.60 €

Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck

/

Capa mole

14.24 €

Aux origines d'Arsène Lupin - Ostrowski, rat d'hôtel à la Belle Époque Patrice Lajoye

/

Capa mole

24.65 €

L'Idee de Dieu Dans La Morale: These Presentee A La Faculte Des Lettres de Paris Pasty-P

/

Capa mole

24.24 €

Choses Vues: Nouvelle Serie (Ed.1900) Victor Hugo

/

Capa mole

22.52 €

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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 Computer Aided Verification

Autor Rajeev Alur, Thomas Henzinger

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1999

Número de páginas 479

EAN 9783540614746

ISBN 3540614745

Código Libristo 05274597

Editoras Springer, Berlin

Peso 630

Dimensões 156 x 234 x 25

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento

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

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

Easy Guitar Jack Johnson

/

Capa mole

18.58 €

Urban Development in India Pablo S. Bose

/

Livro de capa dura

122.67 €

Bread and Ale for the Brethren Philip Slavin

/

Capa mole

35.46 €

Indiana's Ohio River Scenic Byway Leslie Townsend

/

Capa mole

17.07 €

Walk in My Boots - The Joy of Connecting Bonnie Ross-Parker

/

Capa mole

14.84 €

Philip Larkin and His Audiences G Steinberg

/

Capa mole

47.69 €

Guide to the American Revolutionary War in Canada and New England Desmarais Norman

/

Capa mole

18.89 €

Beyond the Garden Gate Marietta Loehrlein

/

Capa mole

12.52 €

Don't Call It Night Amos Oz

/

Capa mole

12.22 €

Counting Pumpkins 1 to 20. Bilingual Spanish-English: Contando Calabazas 1 al 20. Bilingüe Espa?ol-Inglés Jp Lepeley

/

Capa mole

10.20 €

Keto Meal Prep Mark Evans

/

Livro de capa dura

21.72 €

Gene Delivery Yashwant Pathak

/

Livro de capa dura

181.08 €

Quitter: Closing the Gap Between Your Day Job and Your Dream Job

/

Capa mole

11.00 €

Making Miniature Period Furniture for Dolls' Houses Angela Law

/

Capa mole

20.10 €

Cryopreservation in Assisted Reproduction Ashok Agarwal

/

Capa mole

125.19 €

The Rip 2026 Rian Marlowe

/

Capa mole

12.52 €

Betty Zane Zane Grey

/

Capa mole

15.75 €

Six Key Approaches to Counselling and Therapy Richard Nelson-Jones

/

Livro de capa dura

100.23 €

Reformation in Germany C. Scott Dixon

/

Livro de capa dura

113.37 €

Taking Stock John David Stewart

/

Capa mole

32.53 €

It'll All Be Wrong on the Night Reginald Frary

/

Capa mole

9.49 €

Role of the International Community in Domestic Politics Tsitsi Muvunzi

/

Capa mole

22.12 €

Critical Introduction to Fictionalism KOON FREDRICK

/

Capa mole

38.09 €

African Women's Report United Nations: Economic Commission for Africa

/

Capa mole

39.00 €