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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Formal Techniques for Networked and Distributed Systems - FORTE 2003

23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003

Lingua IngleseInglese
Libro In brossura
Libro Formal Techniques for Networked and Distributed Systems - FORTE 2003 Hartmut König
Codice Libristo: 01558642
Casa editrice Springer, Berlin, novembre 2002
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on F... Descrizione completa
? points 125 b
51.09 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Kinderfl chtlinge Petra Dieckhoff / Libro In brossura
common.buy 41.19 €
Die 24 Elemente der Magie Danielle Weidig / Libro In brossura
common.buy 15.99 €
BABADADA black-and-white, Srbija (Latinski pisanje) - slovenčina, slikovni rečnik - obrazkovy slovnik Babadada Gmbh / Libro In brossura
common.buy 6.69 €
Základy společenských věd pro SOŠ - Pracovní sešit / Libro In brossura
common.buy 10.59 €
Die Magd des Gutsherrn Elisabeth Büchle / Libro In brossura
common.buy 13.79 €
Sous la neige, précédé de Les Metteurs en scène et Le Bilan WHARTON / Libro In brossura
common.buy 18.99 €
Ptákovina Milan Kundera / Audio CD audio
common.buy 8.59 €
Geschichte der lettischen Geschichtsschreibung. Vom 19. Jahrhundert bis zur Gegenwart Detlef Henning / Libro Rigido
common.buy 36.49 €
A Night at the Nordic House (With the Symphony Orc Týr / Audio CD audio
common.buy 11.59 €
El cardenal Manning : una biografía intelectual James Pereiro / Libro In brossura
common.buy 17.39 €
Andorra : 17 excursions a peu MANEL FIGUERA / Libro In brossura
common.buy 13.39 €
Macanudo 3 Ricardo Liniers / Libro In brossura
common.buy 8.49 €
Ravensburger Kinderpuzzle 12993 - Super Mario Abenteuer 200 Teile XXL - Puzzle für Kinder ab 8 Jahren / Gioco/giocattolo Gioco
common.buy 7.79 €
Manuale della guardia del corpo Gérard Desmaretz / Libro In brossura
common.buy 30.19 €
LEY DEL PROCEDIMIENTO ADMINISTRATIVO COMÚN DE LAS ADMINISTRACIONES PÚBLICAS 2019 Editorial Tecnos / Libro In brossura
common.buy 11.49 €
Des Lois Des 17-23 Juillet 1856 Sur l'Arbitrage Force Et Les Societes En Commandite Par Actions BEDARRIDE-J / Libro In brossura
common.buy 15.49 €
Incorporacion de Las Tic En Las Universidades Autonomas Andrés Y. Martínez Marín / Libro In brossura
common.buy 60.79 €
Razítka Dinosaurus, felt-tip pens box / Articoli di cancelleria Articoli di cancelleria
common.buy 21.09 €
presidencialismo de Bolivia previo al socialismo del siglo XXI Carlos Sanchez Berzain / Libro In brossura
common.buy 29.09 €
Einbildungskraft als Organon der Ethik: Novalis und Leopardi Karin B. Gilardoni-Büch / Libro Rigido
common.buy 40.19 €
Alte vs. neue Rechnungslegung auf der Aktivseite der Bilanz und dessen Auswirkungen fur die Unternehmen Tobias Niess / Libro In brossura
common.buy 18.79 €
I migliori
Herzzeit; Briefwechsel Ingeborg Bachmann / Libro In brossura
common.buy 12.49 €
Rýchle fakty: Reumatoidná artritída autorov Kolektív / Libro In brossura
common.buy 21.19 €
Initiation à la chiromancie Webster / Libro Libro
common.buy 15.19 €

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2003, held in Berlin, Germany in September/October 2003.§§The 24 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on application of formal description techniques (FDTs), verification, timed automata, verification of security protocols, testing, and FDT-based design.

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 2003
Autore Hartmut König, Monika Heiner, Adam Wolisz
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 429
EAN 9783540201755
ISBN 3540201750
Codice Libristo 01558642
Casa editrice Springer, Berlin
Peso 626
Dimensioni 155 x 235 x 23

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
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

Perspective in Nuclear Physics Sun-Chan Jeong / Libro In brossura
common.buy 117.29 €
How We Lived in Wellborn before Television Glenn D Davis / Libro In brossura
common.buy 15.39 €
Redefining English for the More Able Ian (London Gifted & Talented) Warwick / Libro Rigido
common.buy 161.49 €
An Overview of the History of the Motorcycle in America: A Topical and Social Narrative Mark H Bayer / Libro In brossura
common.buy 18.19 €
Written World Martin Puchner / Libro In brossura
common.buy 13.69 €
I Rode with Robespierre and Danced with Danton ROBERT A. NIMMO / Libro In brossura
common.buy 19.59 €
Early Childhood and Development Work Anne-Trine Kj?rholt / Libro Rigido
common.buy 136.49 €
Fighting for the Chief's Agreement Bethany Dayna / Libro In brossura
common.buy 8.69 €
Sally's Puppets Go to the Hospital: A Children's Play Gil Rogers / Libro In brossura
common.buy 7.89 €
Advantages and Surroundings of New Albany David Peter Robbins / Libro In brossura
common.buy 12.49 €
I migliori
Fashion Patternmaking Techniques for Accessories: Shoes, Bags, Hats, Gloves, Ties, Buttons and Dog Clothing Antonio Donnanno / Libro In brossura
common.buy 29.89 €
Strictly Come Laughing!: Poetic Pornography and Funny Fantasy Alienora Browning / Libro In brossura
common.buy 14.49 €
Weather and Climate Inventory National Park Service San Francisco Bay Area Network Christopher a Davey / Libro In brossura
common.buy 12.19 €
My Birthday Pony Lola May Groves / Libro In brossura
common.buy 19.79 €
Famous Pianists of Today and Yesterday Henry C. Lahee / Libro In brossura
common.buy 22.29 €
Eccentric Lives and Peculiar Notions John Michell / Libro In brossura
common.buy 14.49 €
Canton Gay Morgan Moore / Libro In brossura
common.buy 16.89 €
Theory of the Solitary Sailor Grelet / Libro In brossura
common.buy 11.79 €
The Unstoppable Dogs Lauren Krame-Theuerkauf / Libro Rigido
common.buy 16.99 €
Must-Read Classics: A Book Club Journal for Bibliophiles Union Square & Co. / Libro Rigido
common.buy 11.49 €
Trifolium Historicum: Seu Dissertatio Historico-chronologico-critica De Tribus Potentissimis Daniae Regibus Gormo Grandaevo, Haraldo Caeruli Thormodus Torfaeus / Libro Rigido
common.buy 26.69 €
MAKING OF ANOTHER MAJOR MOTION PICTURE M HANKS TOM / Libro In brossura
common.buy 12.69 €
Where Do We Go from Here? Victoria Adams / Libro elettronico Adobe ePub DRM
common.buy 16.29 €
Black Bird: One Man's Freedom Hides in Another Man's Darkness Hillel Levin / Libro In brossura
common.buy 11.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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?