Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Techniques for Distributed Systems

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Distributed Systems Roberto Bruni
Codul Libristo: 01658113
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2011
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on F... Descrierea completă
? points 148 b
321.51 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Top
Gâteaux trompe-l'oeil ! Emily Misson / Carte Copertă tare
common.buy 177.54 lei
Comedias Escogidas De Frey Lope Felix De Vega Carpio: Lo Que Ha De Ser. El Molino. La Dama Melindrosa. Los Locos De Valencia Lope De Vega / Carte Copertă tare
common.buy 221.01 lei
Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov / Carte Carte broșată
common.buy 134.37 lei
El Derecho de la publicidad en Chile MARTABIT SAGREDO / Carte Carte broșată
common.buy 246.24 lei
Mio marito Maud Ventura / Carte Carte broșată
common.buy 113.52 lei
Krowa Matylda i zaginiona paczka Alexander Steffensmeier / Carte Copertă tare
common.buy 43.88 lei
Bracelet Agate Crazy Lace Perles rondes 8 mm / Carte binding.
common.buy 30.43 lei
Nordsee, 20 Postkarten / Joc / Jucărie Jucărie
common.buy 83.39 lei
Plonger Christophe Ono-dit-Biot / Carte Carte broșată
common.buy 68.80 lei
O Sasance Jiří Černický / Carte Copertă tare
common.buy 51.18 lei
UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager / Carte Carte broșată
common.buy 293.78 lei
Inhibition de la D position Des Sels Insolubles Touhami Lanez / Carte Carte broșată
common.buy 198.39 lei
Elementare Schiffahrtkunde Friedrich Gerhard Bolte / Carte Carte broșată
common.buy 148.97 lei
Agrarelite, Diktatur und Neoliberalismus Judith Haferland / Carte Carte broșată
common.buy 188.90 lei
Debitorenrating Grit S. Becker / Carte Carte broșată
common.buy 261.77 lei
Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz / Carte Foaie
common.buy 131.77 lei
Gruppenbesteuerung Hubert W Fuchs / Carte Carte broșată
common.buy 164.09 lei
Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt / Carte Carte broșată
common.buy 89.86 lei

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Techniques for Distributed Systems
Autor Roberto Bruni, Juergen Dingel
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 349
EAN 9783642214608
ISBN 3642214606
Codul Libristo 01658113
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 547
Dimensiuni 155 x 235 x 23

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Delivered but not Healed: Exploring the Need for Emotional and Psychological Healing Marcia Dixon-Haye / Carte Carte broșată
common.buy 87.04 lei
365 James Robertson / Carte Carte broșată
common.buy 118.94 lei
King and the Adulteress Roberto Speziale-Bagliacca / Carte Copertă tare
common.buy 398.77 lei
Damage from a Recent Storm John E Harper / Carte Carte broșată
common.buy 50.97 lei
Elsworth F. Baker, Kenneth M. Bremmer, Philip Gold, et al., Petitioners, V. United States of America. U.S. Supreme Court Transcript of Record with Sup William W Goodrick / Carte Carte broșată
common.buy 145.63 lei
Dancing in the Dining Room, Antigua West Indies Donna Goring / Carte Carte broșată
common.buy 103.51 lei
My Favorite Teacher Was an Ironworker Rick Taylor / Carte Copertă tare
common.buy 162.42 lei
Workplace Skills: Writing for Work, Student Workbook Contemporary / Carte Carte broșată
common.buy 275.95 lei
Fire Dragons & Other Rare Ember Creatures Jessica Feinberg / Carte Copertă tare
common.buy 127.18 lei
Responsibility and Justice Matravers / Carte Copertă tare
common.buy 392.72 lei
Theological Dictionary of the Old Testament, Volume XI G. Johannes Botterweck / Carte Carte broșată
common.buy 288.99 lei
Innovations in Financing Public Services S. Bailey / Carte Carte broșată
common.buy 294.82 lei
Buzz Beaker and the Race to School Cari Meister / Carte Carte broșată
common.buy 38.88 lei
Humana Festival 2014: The Complete Plays Les Waters / Carte Carte broșată
common.buy 124.57 lei
Kelly L. Murdock's Autodesk 3ds Max 2017 Complete Reference Guide Kelly L. Murdock / Carte Carte broșată
common.buy 532.11 lei
Theaetetus of Plato Plato / Carte Carte broșată
common.buy 109.14 lei
Directions of a Pastoral Lifetime William Flewelling / Carte Carte broșată
common.buy 116.96 lei
Lemons, Limes & Oranges Coralie Dorman / Carte Carte broșată
common.buy 48.89 lei
Radiology of HIV/AIDS Hongjun Li / Carte Copertă tare
common.buy 1 198.20 lei
Cambridge Companion to Autobiography Maria DiBattista / Carte Copertă tare
common.buy 621.14 lei
Vicksburg Assaults Brandon Franke / Carte Copertă tare
common.buy 184.52 lei
Logic and Information Keith Devlin / Carte Copertă tare
common.buy 727.69 lei
British Wildlife Photography Awards 9 Gowan / Carte Copertă tare
common.buy 148.24 lei
Top
Good Economics for Hard Times Abhijit V. Banerjee / Carte Carte broșată
common.buy 69.21 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?