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.99 € Punto Poste 5.99 € Corriere DHL 7.49 € Corriere GLS 6.49 € Punto GLS 4.99 € Corriere Bartolini 4.99 € Punto Bartolini 3.99 €
phone Contatto phoneCome acquistare

Formal Techniques for Distributed Objects, Components, and Systems

43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Techniques for Distributed Objects, Components, and Systems Marieke Huisman
Codice Libristo: 43360596
Casa editrice Springer, Berlin, agosto 2023
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on F... Descrizione completa
? points 184 b
75.19 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

L'archipel du renoncement Florence Lojacono / Libro In brossura
common.buy 26.19 €
Rumi et Shams William Chittick / Libro In brossura
common.buy 26.19 €
I migliori
Szülősebek Lindsay C. Gibson / Libro In brossura
common.buy 9.89 €
Citas criminales Joaquin Llorens / Libro elettronico Adobe ePub DRM
common.buy 4.09 €
Lehrbuch der lateinischen Syntax und Semantik Thorsten Burkard / Libro Rigido
common.buy 97.79 €
Neue Lesetandems und chorisches Lesen 4. Klasse Stefan Schwinn / Libro Foglio
common.buy 13.99 €
Sroczka kaszkę warzyła. Rymowanki maluszka Opracowanie zbiorowe / Libro Rigido
common.buy 1.99 €
Philosophies et sagesses indiennes - Histoire comparée des quêtes de libération du Moi Christian Miquel / Libro In brossura
common.buy 24.99 €
Focus Planner 2021 - versión Forest Vicedo Mendiola / Libro Rigido
common.buy 27.79 €
VOCALISE CLARINETTE BERTOLD HUMMEL Pubblicazioni cartacee Note
common.buy 10.69 €
Le Jour où j'ai perdu mon temps De Lestrade / Libro Rigido
common.buy 16.19 €
Les noces salees - la revolte contre la grande gabelle dans l'Ouest Ducluzeau Libro In brossura
common.buy 6.29 €
Beitrage Zur Geschichte Des Deutschen Buchhandels Albrecht Kirchhoff / Libro In brossura
common.buy 27.79 €
Sur Les Rentiers Laotiens GUILLEMET-D / Libro In brossura
common.buy 12.89 €
Behelf zum Studium der Militar-Geographie Anonymus / Libro In brossura
common.buy 15.99 €
US-amerikanisches Kapitalmarktrecht und Internet Sascha Lotze / Libro In brossura
common.buy 126.59 €
La lógica del pensamiento vivo : el lenguaje en la filosofía del romanticismo alemán Lia Formigari / Libro In brossura
common.buy 17.49 €
Titus Andronicus William Shakespeare / Libro In brossura
common.buy 9.39 €

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

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 Distributed Objects, Components, and Systems
Autore Marieke Huisman, António Ravara
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2023
Numero di pagine 240
EAN 9783031353543
Codice Libristo 43360596
Casa editrice Springer, Berlin
Peso 340
Dimensioni 155 x 235

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > 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

Cradle of Fire Gail Daley / Libro In brossura
common.buy 18.59 €
Dbt Skills-Building Card Deck for Clients and Therapists: 101 More Mindful Practices to Manage Distress, Regulate Emotions, and Build Better Relations Lane Pederson / Libro In brossura
common.buy 17.79 €
I migliori
Monet and the Impresionist Cityscape Ralph Gleis / Libro In brossura
common.buy 27.19 €
5 Westwood Linda Westwood / Libro In brossura
common.buy 15.99 €
Salt Stress, Microbes, and Plant Interactions: Mechanisms and Molecular Approaches Mohd Sayeed Akhtar / Libro Rigido
common.buy 160.79 €
Test Results for Mobile Device Acquisition Tool: Micro Systemation .XRY 3.6 David W Hagy / Libro In brossura
common.buy 14.99 €
100 Hidden Truths of Parenting Ohad Ouziel / Libro In brossura
common.buy 7.69 €
COMMERCE OF THE LAKES, AND ERIE CANAL JAMES L. BARTON / Libro Rigido
common.buy 30.19 €
Does the Soul Survive? (2nd Edition) Elie Kaplan Spitz / Libro elettronico Adobe ePub DRM
common.buy 21.59 €
Claire of the Sea Light Edwidge Danticat / Libro In brossura
common.buy 13.79 €
Romani Pentecostalism David Thurfjell / Libro In brossura
common.buy 77.29 €
Curriculum as Spaces David M. Callejo Perez / Libro Rigido
common.buy 152.89 €
Recursions for Convolutions and Compound Distributions with Insurance Applications Bjorn Sundt / Libro In brossura
common.buy 26.09 €
Propagation of the Gospel in the East Bartholomaeus Ziegenbalg / Libro In brossura
common.buy 18.49 €
History of Greatham Peter Gripton / Libro In brossura
common.buy 20.09 €
Model-Oriented Design of Experiments Valery Fedorov / Libro In brossura
common.buy 111.99 €
Repowering Communities Prashant Vaze / Libro In brossura
common.buy 61.09 €

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?