Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Computer Aided Verification Rajeev Alur

Computer Aided Verification

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

Thomas Henzinger

Lingua

Inglese

Libro In brossura

Libro Computer Aided Verification Rajeev Alur

Codice Libristo: 05274597

Casa editrice Springer, Berlin, novembre 1998

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided... Descrizione completa

Codice Libristo: 05274597

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Sobre la salvación del alma Bernard Lievegoed

/

In brossura

15.39 €

Archetypy i nieswiadomosc zbiorowa Carl Gustav Jung

/

In brossura

25.29 €

Huhner-Malbuch 3 & 4 Nick Snels

/

In brossura

18.49 €

Rechtschreibung - Aufbauwissen, 12 farbige A3-Poster Christian Stang

/

Poster

18.69 €

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

/

In brossura

35.09 €

Wechselwahler in der Bundesrepublik Deutschland. Analyse und Typenbildung Oliver Ruck

/

In brossura

16.89 €

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

/

In brossura

30.79 €

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

/

In brossura

29.19 €

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

/

In brossura

27.09 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computer Aided Verification

Autore Rajeev Alur, Thomas Henzinger

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1999

Numero di pagine 479

EAN 9783540614746

ISBN 3540614745

Codice Libristo 05274597

Casa editrice Springer, Berlin

Peso 630

Dimensioni 156 x 234 x 25

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Hardware informatico

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Easy Guitar Jack Johnson

/

In brossura

21.89 €

Urban Development in India Pablo S. Bose

/

Rigido

146.19 €

Bread and Ale for the Brethren Philip Slavin

/

In brossura

40.69 €

Indiana's Ohio River Scenic Byway Leslie Townsend

/

In brossura

20.59 €

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

/

In brossura

18.09 €

Philip Larkin and His Audiences G Steinberg

/

In brossura

55.49 €

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

/

In brossura

22.99 €

Beyond the Garden Gate Marietta Loehrlein

/

In brossura

15.39 €

Don't Call It Night Amos Oz

/

In brossura

15.39 €

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

/

In brossura

12.59 €

Keto Meal Prep Mark Evans

/

Rigido

28.19 €

Gene Delivery Yashwant Pathak

/

Rigido

215.89 €

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

/

In brossura

14.29 €

Making Miniature Period Furniture for Dolls' Houses Angela Law

/

In brossura

23.89 €

Cryopreservation in Assisted Reproduction Ashok Agarwal

/

In brossura

146.99 €

The Rip 2026 Rian Marlowe

/

In brossura

15.39 €

Betty Zane Zane Grey

/

In brossura

19.09 €

Six Key Approaches to Counselling and Therapy Richard Nelson-Jones

/

Rigido

125.59 €

Reformation in Germany C. Scott Dixon

/

Rigido

140.19 €

Taking Stock John David Stewart

/

In brossura

40.39 €

It'll All Be Wrong on the Night Reginald Frary

/

In brossura

12.29 €

Role of the International Community in Domestic Politics Tsitsi Muvunzi

/

In brossura

26.19 €

Critical Introduction to Fictionalism KOON FREDRICK

/

In brossura

44.69 €

In preparazione

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

/

In brossura

47.19 €