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 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Automatic Verification of Sequential Infinite-State Processes Burkart

Automatic Verification of Sequential Infinite-State Processes

O. (University of Dortmund

Lingua

Inglese

Libro In brossura

Libro Automatic Verification of Sequential Infinite-State Processes Burkart

Codice Libristo: 06615459

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dicembre 1997

This monograph provides information for theoreticians interested in algebraic theories, as well as f... Descrizione completa

Codice Libristo: 06615459

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild

/

In brossura

55.29 €

Der Reisende Ulrich Alexander Boschwitz

/

Adobe ePub DRM

11.39 €

Die Reiniger Henk Wester

/

In brossura

19.19 €

Spirit Island: Natur Erwacht (Erweiterung)

/

Gioco

48.79 €

porte dell'Ade. Eroi. La dea della luce Ivano Locatelli

/

Rigido

19.09 €

EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE

/

Rigido

18.29 €

Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira

/

In brossura

37.29 €

Genie venge, poeme GUYETAND-C-M

/

In brossura

14.19 €

Andare per la Sicilia dei greci Franco La Cecla

/

In brossura

14.99 €

Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur

/

In brossura

29.09 €

L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea

/

In brossura

27.19 €

Agenda 21 Local Et Sig Didier Jean Yemba

/

In brossura

27.19 €

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

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 Automatic Verification of Sequential Infinite-State Processes

Autore Burkart, O. (University of Dortmund, Germany)

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1997

Numero di pagine 176

EAN 9783540639824

ISBN 9783540639824

Codice Libristo 06615459

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 284

Dimensioni 155 x 235 x 10

Categorie

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

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

Matematica e Scienze > Matematica

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

Gin and Gingerbread Elizabeth Jeffrey

/

In brossura

30.69 €

Blue Yonder Justine Davis Randers-Pehrson

/

In brossura

17.29 €

National Intelligencer Newspaper Abstracts Joan M Dixon

/

In brossura

50.59 €

Cyprus Robert Hamilton Lang

/

In brossura

32.09 €

Coexistence Danny Rittman

/

In brossura

14.29 €

Empty Nest Karen Stabiner

/

Rigido

31.29 €

Media and the Transformation of Religion in South Asia Lawrence A. Babb

/

Rigido

88.69 €

Companion to Modern Art Pam Meecham

/

Rigido

202.89 €

12 Critical Things Your Family Needs to Know Mark Gavagan

/

In brossura

19.19 €

U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola

/

In brossura

24.79 €

Combinatorial Pattern Matching Alberto Apostolico

/

In brossura

53.79 €

Darkest Star Jennifer L. Armentrout

/

In brossura

14.29 €

Damaged Bonds Michael Eigen

/

Rigido

194.39 €

Three Men in a Boat K. Jerome

/

In brossura

18.59 €

Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International

/

In brossura

4.99 €

Happy Birthday Irina - The Big Birthday Activity Book: (Personalized Children's Activity Book) Birthdaydr

/

In brossura

10.69 €

The Memoirs of Sherlock Holmes Larvae Editions

/

In brossura

11.59 €

American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson

/

In brossura

29.49 €

Fundamentals of Statistical Inference Norbert Hirschauer

/

In brossura

61.89 €

Traffic Engineering Franco Callegati

/

Rigido

38.19 €

A History of German in 101 Words Charles V. J. Russ

/

In brossura

59.69 €

Shake Hands With The Devil Romeo Dallaire

/

In brossura

14.69 €

Low, Dishonest Decade Paul N.

/

In brossura

43.09 €

Between Slavery and Freedom Bill E. Lawson

/

In brossura

19.09 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?