Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Techniques for Distributed Objects, Components, and Systems

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer, Berlin
SKU: 43360596
Price: 309.38 PLN
Availability: InStock
Author: Marieke Huisman
ISBN: 9783031353543

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

Marieke Huisman

António Ravara

Język

Angielski

Książka Miękka

Kod Libristo: 43360596

Wydawnictwo Springer, Berlin, sierpień 2023

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on F... Cały opis

Kod Libristo: 43360596

175 b

309.38 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

La lógica del pensamiento vivo : el lenguaje en la filosofía del romanticismo alemán Lia Formigari

Miękka

71.75 zł

US-amerikanisches Kapitalmarktrecht und Internet Sascha Lotze

Miękka

521.83 zł

Le Jour où j'ai perdu mon temps De Lestrade

Twarda

78.66 zł

VOCALISE CLARINETTE BERTOLD HUMMEL Prasa

Nuty

53.89 zł

Lehrbuch der lateinischen Syntax und Semantik Thorsten Burkard

Twarda

403.78 zł

Neue Lesetandems und chorisches Lesen 4. Klasse Stefan Schwinn

Karta

57.54 zł

Philosophies et sagesses indiennes - Histoire comparée des quêtes de libération du Moi Christian Miquel

Miękka

118.14 zł

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.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Techniques for Distributed Objects, Components, and Systems

Autor Marieke Huisman, António Ravara

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2023

Liczba stron 240

EAN 9783031353543

Kod Libristo 43360596

Wydawnictwo Springer, Berlin

Waga 340

Wymiary 155 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Recursions for Convolutions and Compound Distributions with Insurance Applications Bjorn Sundt

Miękka

110.73 zł

Propagation of the Gospel in the East Bartholomaeus Ziegenbalg

Miękka

78.15 zł

Curriculum as Spaces David M. Callejo Perez

Twarda

595.83 zł

5 Westwood Linda Westwood

Miękka

67.69 zł

Dbt Skills-Building Card Deck for Clients and Therapists: 101 More Mindful Practices to Manage Distress, Regulate Emotions, and Build Better Relations Lane Pederson

Miękka

75.10 zł