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 €
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 phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Techniques for Networked and Distributed Systems - FORTE 2002 Doron A. Peled
Codice Libristo: 01555972
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2002
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on F... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Pubblicazioni cartacee Mappa
common.buy 51.59 €
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 29.69 €
L'Arc de triomphe de l'Étoile Dominique Fernandes / Libro In brossura
common.buy 12.79 €
Course à pied. S’entrainer à la sensation Billat / Libro In brossura
common.buy 25.79 €
Pociąg do Imperium Maja Wolny / Libro In brossura
common.buy 10.99 €
Communiquer et jouer par signes avec mon enfant Gilles Cotte / Libro In brossura
common.buy 22.19 €
Le sacre des impies Ghislain Gilberti / Libro In brossura
common.buy 29.49 €
Vorlesungen über neuere Geometrie Moritz Pasch / Libro In brossura
common.buy 17.79 €
JE SUIS GROSSE KONIG MARINA / Libro In brossura
common.buy 23.49 €
Passeggiata col cane Sven Nordqvist / Libro Rigido
common.buy 23.49 €
Legge, soggetto ed eredità. Lezioni veronesi di psicoanalisi Massimo Recalcati / Libro In brossura
common.buy 24.09 €
Narozena pod toulavou hvězdou Zuzana Kulhánková / Libro Rigido
common.buy 7.49 €
Realita vesmíru Jan Blažej / Libro In brossura
common.buy 5.59 €
100 Tipps für besseres Tauchen Thilo Künneth / Libro In brossura
common.buy 10.69 €
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano / Libro In brossura
common.buy 16.89 €
Anlagenrecht Martin Kind / Libro In brossura
common.buy 40.19 €
Ewalds Mathespielwiese Ewald Gronewold / Libro In brossura
common.buy 21.49 €
Die sterbliche Seele der Freiheit Marco Buschmann / Libro Rigido
common.buy 31.99 €
Lesen und Schreiben 1700 bis 1900 Alfred Messerli / Libro Rigido
common.buy 247.79 €
Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt / Libro In brossura
common.buy 52.29 €
La serpiente emplumada D. H. Lawrence / Libro In brossura
common.buy 31.39 €
Armin Heinrich Hofmann / Libro In brossura
common.buy 12.29 €
68 chansons d'Amour: Textes de chansons Stephane Ternoise / Libro In brossura
common.buy 13.39 €

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

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 Formal Techniques for Networked and Distributed Systems - FORTE 2002
Autore Doron A. Peled, Moshe Y. Vardi
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 374
EAN 9783540001416
ISBN 3540001417
Codice Libristo 01555972
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1200
Dimensioni 155 x 235 x 21

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)
Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
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 > Sistemi operativi
Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti
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

Globalization, Economic Growth and Innovation Dynamics Paul J. J. Welfens / Libro Rigido
common.buy 107.29 €
Image Processing, Analysis and Machine Vision Milan Sonka / Libro In brossura
common.buy 113.19 €
examination of the Rev. Mr. John Wesley's Primitive physic John Wesley / Libro In brossura
common.buy 13.19 €
Last Chance to See Douglas Adams / Libro In brossura
common.buy 14.99 €
Surfing on the Internet J. C. Herz / Libro In brossura
common.buy 19.59 €
Practical Portfolio Performance Measurement and At tribution, 3rd Edition Carl R. Bacon / Libro Rigido
common.buy 96.49 €
Goddess Planner - Undated Weekly, Monthly 8x 10 with Moon Journal, To-Do Lists, Self-Care and Habit Tracker Sze Wing Vetault / Libro Rigido
common.buy 44.49 €
Kintsugi Wellness Candice Kumai / Libro Rigido
common.buy 24.39 €
Transitions from Care to Independence DRISCOLL / Libro Rigido
common.buy 248.79 €
Professor and Mrs. Whats-A-Ma-Call-It Go to London James Christopher Jackson / Libro Rigido
common.buy 25.09 €
Dean's Demise Richard Fletcher / Libro In brossura
common.buy 21.99 €
K9 Explosive and Mine Detection Resi Gerritsen / Libro In brossura
common.buy 31.19 €
Evidence of Guilt: A Kali O'Brien Mystery Jonnie Jacobs / Libro In brossura
common.buy 13.59 €
Catalogue of the Technical Reference Library of works on printing and the allied arts / Libro Rigido
common.buy 52.59 €
Where Are the Donuts? ROGER ELLSWORTH / Libro In brossura
common.buy 11.19 €
A1 Movers 3 Audio CDs / Audio CD audio
common.buy 18.79 €
Grammar Choices for Graduate and Professional Writers Nigel A. Caplan / Libro In brossura
common.buy 31.09 €
Egg Art Katya Trischuk / Libro In brossura
common.buy 11.39 €
Complex Dimensions Brenda Murphy / Libro In brossura
common.buy 13.49 €
Lloyd George: The Man And His Story Frank Dilnot / Libro Rigido
common.buy 41.59 €
In preparazione
Egon Schiele Jane Kallir / Libro Rigido
common.buy 27.89 €
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Libro Rigido
common.buy 98.29 €
The Empath's Self-Care Journal: 52 Weeks of Prompts, Practices, and Positive Affirmations to Help You Thrive Mishka Clavijo Kimball / Libro In brossura
common.buy 11.89 €
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Libro In brossura
common.buy 113.19 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?