Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
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 phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Verifying Concurrent Processes Using Temporal Logic

Lingua IngleseInglese
Libro In brossura
Libro Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Codice Libristo: 01557740
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

In das Feuer James Rosone / Libro In brossura
common.buy 16.49 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Libro In brossura
common.buy 25.99 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Libro In brossura
common.buy 51.19 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Pubblicazioni cartacee Mappa
common.buy 7.29 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Libro In brossura
common.buy 7.69 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Libro binding.
common.buy 97.49 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Libro binding.
common.buy 52.49 €
Taśma Washi Tape Neon Narcissus / Libro binding.
common.buy 29.69 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Libro In brossura
common.buy 9.19 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Libro In brossura
common.buy 9.39 €
Bibliotheken Candida Höfer / Libro Rigido
common.buy 77.69 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Libro In brossura
common.buy 30.79 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Libro In brossura
common.buy 24.99 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / Libro elettronico Adobe ePub DRM
common.buy 8.39 €
Si te vuelvo a ver manana Robbie Couch / Libro elettronico Adobe ePub DRM
common.buy 10.29 €
Alimentární infekce Václav Vacek / Libro Rigido
common.buy 5.79 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Libro Rigido
common.buy 37.69 €
Como disciplinar a tus hijos Roy Lessin / Libro In brossura
common.buy 11.29 €
Běžkyně Peter May / Libro In brossura
common.buy 3.69 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Libro In brossura
common.buy 6.19 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Libro In brossura
common.buy 12.69 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Libro In brossura
common.buy 21.89 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Libro In brossura
common.buy 14.99 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Libro In brossura
common.buy 10.59 €
Attrice & Poliglotta
EWA KASP per
Riproduci video
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 Verifying Concurrent Processes Using Temporal Logic
Autore B. T. Hailpern
Lingua Inglese
Rilegatura Libro - In brossura
Numero di pagine 209
EAN 9783540112051
ISBN 3540112057
Codice Libristo 01557740
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 700
Dimensioni 155 x 233 x 13

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software
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

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Libro In brossura
common.buy 57.79 €
Surgical Anatomy of Head and Neck Jan Helms / Libro In brossura
common.buy 146.99 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Libro Rigido
common.buy 28.09 €
Allegations Against the Countess of Strathmore, Given in to the Court of Arches, in Doctors Commons, by Andrew Robinson Bowes, Esq. Andrew Robinson Stoney Bowes / Libro In brossura
common.buy 16.89 €
Data Mining Patterns Maguelonne Teisseire / Libro Rigido
common.buy 207.49 €
Gruffalo Julia Donaldson / Libro Libro
common.buy 20.99 €
One Man's Dream: My Town, My Team, My Time. Frank White / Libro Rigido
common.buy 23.29 €
Francis Asbury: Circuit Rider Janet Benge / Libro In brossura
common.buy 10.39 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Libro In brossura
common.buy 19.69 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Libro In brossura
common.buy 12.69 €
Cybersecurity Exposed Raef Meeuwisse / Libro Rigido
common.buy 25.99 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Libro In brossura
common.buy 22.99 €
Drive: The Road to Victory Joyz W Riter / Libro In brossura
common.buy 20.09 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Libro In brossura
common.buy 15.39 €
I migliori
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Pubblicazioni cartacee Carte
common.buy 19.19 €
Anyone Can Be Saved David L. Allen / Libro Rigido
common.buy 37.39 €
Calm with The Very Hungry Caterpillar Eric Carle / Libro Rigido
common.buy 8.89 €
Org Mode 9.2 Reference Manual Carsten Dominik / Libro In brossura
common.buy 18.59 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Libro In brossura
common.buy 7.79 €
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Libro In brossura
common.buy 21.19 €
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Libro In brossura
common.buy 20.99 €
Economico
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Libro In brossura
common.buy 37.49 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Libro In brossura
common.buy 19.89 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / Libro elettronico Adobe ePub DRM
common.buy 248.49 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo