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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

Formal Techniques in Real-Time and Fault-Tolerant Systems

5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques in Real-Time and Fault-Tolerant Systems Anders P. Ravn
Codul Libristo: 05274876
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 1998
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniqu... Descrierea completă
? points 132 b
289.14 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Spirou et Fantasio - Tome 48 - L'Homme qui ne voulait pas mourir JDMorvan / Carte Copertă tare
common.buy 84.82 lei
Vous allez redécouvrir le management ! OLIVIER SIBONY / Carte Carte broșată
common.buy 67.03 lei
Hrnek keramický 410 ml Pokemon / Carte binding.
common.buy 44.61 lei
Top
Atlas dějin Ruska Francois-Xavier Nérard / Carte Carte broșată
common.buy 81.30 lei
Das österreichische Steuersystem des Bundes, der Länder und Gemeinden und die Kapitalbildung. Alexander Spitzmüller / Carte Carte broșată
common.buy 132.76 lei
Pourquoi Les Humains Font-Ils Cela ? - 101 Choses aléatoires, intéressantes et farfelues que les humains font - Les faits, la science et les anecdotes Scott Matthews / Carte Carte broșată
common.buy 62.00 lei
Contabilidad internacional Kelly Goncalves Canedo / Carte Carte broșată
common.buy 200.78 lei
De Weg naar Geluk Martin Kojc / Carte Carte broșată
common.buy 69.24 lei
Kolik je hodin? Ano to umím! / Carte Cărți pliante
common.buy 51.45 lei
Yaklasan Dalga Michael Bhaskar / Carte Carte broșată
common.buy 106.77 lei
"fersenska Mordet": Skildradt Af Drottning Hedvig Elisabeth Charlotta I Hennes Dagboksanteckningar För ?r 1810 Och 1811... Hedvig Elisabeth Charlotta (queen of ... / Carte Carte broșată
common.buy 85.02 lei
The Foxhole Court Sakavic Nora / Carte Copertă tare
common.buy 83.51 lei
Теплиця для помiдорiв Mikola Makarenko / Carte Copertă tare
common.buy 107.03 lei
Arbeitsstättenzählung 1991 Erich Bader / Carte Carte broșată
common.buy 139.99 lei
Biodiversität und Klimawandel Franz Essl / Carte Copertă tare
common.buy 396.58 lei
Zestaw z naklejkami Top Model Syrenka 13395A / Carte binding.
common.buy 39.99 lei
La Volonté de se battre (Terra Ignota, Tome 3) Ada Palmer / Carte Carte broșată
common.buy 79.29 lei
Jak na Nový rok Václav Franc / Carte Carte broșată
common.buy 42.81 lei
Wist je dat... onderwater July Binkhuysen / Carte Copertă tare
common.buy 133.36 lei
Aventura Y Magia 3: La Red Arcana J. J. Mon / Carte Carte broșată
common.buy 52.76 lei
Nascondersi fra le braccia di Dio Teresa di Lisieux (santa) / Carte Carte broșată
common.buy 83.24 lei
Bizancio RAMON J. SENDER / Carte Carte broșată
common.buy 136.68 lei
Italienische Literatur des 20. Jahrhunderts in Einzelinterpretationen, 4 Bde. Manfred Lentzen / Carte Carte broșată
common.buy 1 153.99 lei
Relatos subterráneos / Carte Carte broșată
common.buy 51.45 lei

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

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 in Real-Time and Fault-Tolerant Systems
Autor Anders P. Ravn, Hans Rischel
Limba engleză
Legare Carte - Carte broșată
Data publicării 1998
Număr pagini 347
EAN 9783540650034
ISBN 3540650032
Codul Libristo 05274876
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 1100
Dimensiuni 155 x 235 x 20

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Databases > Data capture & analysis
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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

Spring Microservices in Action John Carnell / Carte Carte broșată
common.buy 301.45 lei
Benign Lesions of the Esophagus and Cancer Robert Giuli / Carte Carte broșată
common.buy 576.99 lei
Three Letters from W. J. Ibbett to his Friend H. Buxton Forman in Praise of Venus William Joseph Ibbett / Carte Carte broșată
common.buy 65.92 lei
Transnational Feminisms, Transversal Politics and Art Marsha Meskimmon / Carte Carte broșată
common.buy 336.38 lei
Ascorbic Acid in Plant Growth, Development and Stress Tolerance David J. Burritt / Carte Carte broșată
common.buy 1 199.02 lei
Comedy of Errors WILLIAM SHAKESPEARE / Carte Carte broșată
common.buy 110.34 lei
Cambridge History of the American Civil War: Volume 1, Military Affairs Aaron Sheehan-Dean / Carte Copertă tare
common.buy 1 212.49 lei
Magnificent Interiors of Sicily Richard Engel / Carte Copertă tare
common.buy 458.80 lei
As a Man Thinketh James Allen / Carte Carte broșată
common.buy 58.69 lei
Women, Religion, and the Gift MORNY JOY / Carte Carte broșată
common.buy 576.99 lei
Memoirs of Mississippi - 1891: Volume 1, Chapters 8-12 Terry Green / Carte Carte broșată
common.buy 131.15 lei
The Pauper of Park Lane William Le Queux / Carte Carte broșată
common.buy 46.12 lei
James W. Wadsworth, Jr.: A Biographical Sketch Henry F Holthusen / Carte Carte broșată
common.buy 186.53 lei
Curse of Prometheus: a tale of Medea Morgan St Knight / Carte Carte broșată
common.buy 69.44 lei
Health Hints for Travelers John C Sundberg / Carte Carte broșată
common.buy 65.92 lei
Boats on the Marne Prakash Younger / Carte Copertă tare
common.buy 587.34 lei
How to Dress Like a Princess Claudia Joseph / Carte Carte broșată
common.buy 78.89 lei
REV. ANTHONY VERREN: PASTOR OF THE FRENC PETER BARTHELEMY / Carte Copertă tare
common.buy 181.00 lei
Approaches to Teaching Dostoevsky's Crime and Punishment Michael R. Katz / Carte Carte broșată
common.buy 250.45 lei
Brave New Mind MAISEL ERIC / Carte Carte broșată
common.buy 91.35 lei
What It Means to Be You (Comic) Vol. 2 Lanyong / Carte Carte broșată
common.buy 99.99 lei
Women of the Fairy Tale Resistance HARRINGTON JANE / Carte Copertă tare
common.buy 134.07 lei
Leftin
Memetic: The Apocalyptic Trilogy Deluxe Edition James Tynion IV / Carte Copertă tare
common.buy 144.42 lei
Sustainable Development in AI, Blockchain, and E-Governance Applications Noor Inayah Binti Ya'akub / Carte Copertă tare
common.buy 1 676.12 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?