Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Techniques in Real-Time and Fault-Tolerant Systems Jan Vytopil
Libristo-code: 02092606
Uitgeverij Springer, Berlin, november 1990
This book presents state-of-the-art research results in the§area of formal methods for real-time and... Volledige beschrijving
? points 249 b
102.99 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Formel PLUS 8 M. Ausgabe Bayern Mittelschule. Schulbuch Klasse 8 (Kurs M) / Boek Gebonden (paperback)
common.buy 31.86 €
Cesur Büyüyen Cocuklar Donna B. Pincus / Boek Gebonden (paperback)
common.buy 14.16 €
Orpillage - un récit de Sat Tenango Oussour Boek Gebonden (paperback)
common.buy 24.88 €
CONOCIMIENTOS PARA EL AUXILIAR DE ENFERMERíA SOBRE EL APARATO CIRCULATORIO AGEA BAUTISTA / Boek Boek
common.buy 6.16 €
Justicia. Aportaciones para el debate Alonso / Boek Gebonden (paperback)
common.buy 20.12 €
LA TRAVIATA : NOI SIAMO... CHOEUR DES BOHEMIENS --- PIANO VERDI GIUSEPPE Boek binding.
common.buy 11.32 €
La couronne de fer MICHEL CHARLIER / Boek Gebonden (harde band)
common.buy 29.84 €
Antonio Perez: Trauerspiel in Funf Acten Ludwig Scheyrer / Boek Gebonden (paperback)
common.buy 14.16 €
Польша. Полная история Евсей Гречена / Boek Gebonden (paperback)
common.buy 15.77 €
San petrù BONSIGNORE JEAN-PASC / Boek Gebonden (paperback)
common.buy 14.96 €
Novellen August Strindberg / Boek Gebonden (paperback)
common.buy 26.80 €
Was wollen wir? Ingo Schulze / Boek Gebonden (paperback)
common.buy 14.26 €
Minimalistische Architektur von Luis Barragan Lidia Iacobenco / Boek Gebonden (paperback)
common.buy 25.08 €
Mythos und Humanitat in Goethes Iphigenie auf Tauris Falk Hesse / Boek Gebonden (paperback)
common.buy 16.18 €
Gedichte Der Liebe Renate Rossmann / Boek Gebonden (paperback)
common.buy 12.23 €
Cote de Guermantes - deuxieme partie Marcel Proust / Boek Gebonden (paperback)
common.buy 16.18 €
Fix und Fax, Gesammelte Abenteuer. Bd.11 Jürgen Kieser / Boek Gebonden (paperback)
common.buy 11.73 €
Die Wassernixe James Fenimore Cooper / Boek Gebonden (paperback)
common.buy 24.17 €
Banque de Donn es Et Banc D Essai En D tection de Changement Nil Goyette / Boek Gebonden (paperback)
common.buy 44.51 €
PLATO ÚNICO PARA DUMMIES EMILIE LARAISON / Boek Gebonden (harde band)
common.buy 9.30 €
Vögel in der Stadt Klaus Richarz / Boek Gebonden (harde band)
common.buy 17.90 €
Discours de M. Roederer, Maire d'Essay, A La Garde Nationale de la Commune, Le 29 Juillet 1832 Pierre-Louis Roederer / Boek Gebonden (paperback)
common.buy 11.93 €
Zoologie, Anatomie Et Physiologie Animales 5eme Edition Maisonneuve-P / Boek Gebonden (paperback)
common.buy 29.43 €
Wortschatz Deutsch-Koreanisch fur das Selbststudium - 7000 Woerter Andrey Taranov / Boek Gebonden (paperback)
common.buy 14.76 €

This book presents state-of-the-art research results in the§area of formal methods for real-time and fault-tolerant§systems. The papers consider problems and solutions in§safety-critical system design and examine how wellthe use§of formal techniques for design, analysis and verification§serves in relating theory to practical realities.§The book contains papers on real-time and fault-tolerance§issues. Formal logic, process algebra, and action/event§models are applied:§- to specify and model qualitative and quantitative§real-time and fault-tolerant behavior,§- to analyze timeliness requirements and consequences of§faulthypotheses,§- to verify protocols and program code,§- to formulate formal frameworks for development of§real-time and fault-tolerant systems,§- to formulate semantics of languages.§The integration and cross-fertilization of real-time and§fault-tolerance issues have brought newinsights in recent§years, and these are presented in this book.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Techniques in Real-Time and Fault-Tolerant Systems
Auteur Jan Vytopil
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1991
Aantal pagina's 628
EAN 9783540550921
ISBN 3540550925
Libristo-code 02092606
Uitgeverij Springer, Berlin
Gewicht 1060
Afmetingen 156 x 234 x 32

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Wiskunde en wetenschap > Wiskunde > Toegepaste wiskunde > Stochastiek
Wiskunde en wetenschap > Wiskunde > Waarschijnlijkheid en statistieken
Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

My 28 Day Keto Journey: For Weight Loss Dieters To Plan, Organize And Track New Diet And Healthy Lifestyle Advanta Publishing / Boek Gebonden (paperback)
common.buy 8.59 €
Rocket Sketchbook: 6 x 9, 120 pp Rooted Creations / Boek Gebonden (paperback)
common.buy 6.77 €
The Day Boy And The Night Girl George MacDonald / Boek Gebonden (paperback)
common.buy 18.40 €
My Q Words (More Consonants, Blends, and Digraphs) Sharon Coan / Boek Gebonden (paperback)
common.buy 7.58 €
Learn to play the Highland Bagpipe Andreas Hambsch / Boek Gebonden (paperback)
common.buy 22.45 €
Deregulated Power System with Special Emphasis on ATC Turaka Nireekshana / Boek Gebonden (paperback)
common.buy 62.21 €
The Art of the Chinese Potter R. L. Hobson / Boek Gebonden (harde band)
common.buy 47.75 €
Minister and the Boy Allan Hoben / Boek Gebonden (harde band)
common.buy 30.75 €
Cameo Melissa Dickson Blackburn / Boek Gebonden (paperback)
common.buy 16.58 €
Corner Blitz David Chill / Boek Gebonden (paperback)
common.buy 16.68 €
Proceedings of the Brest-Litovsk Peace Conference the Peace Negotiations Between Russia and the Central Powers 1917-19 Brest-Litovsk Peace Conference / Boek Gebonden (paperback)
common.buy 18.51 €
Mage of Dylar: The Dylarian Chronicles Paul H Kogel / Boek Gebonden (paperback)
common.buy 14.36 €
Politics and Corruption: Three Plays Lynn Snyder / Boek Gebonden (paperback)
common.buy 13.24 €
Making His Way: Or Frank Courtney's Struggle Upward Alger Horatio Jr. / Boek Gebonden (harde band)
common.buy 44.91 €
Pan-Africanism: Politics, Economy, and Social Change in the Twenty-First Century Tajudeen Abdul-Raheem / Boek Gebonden (paperback)
common.buy 43.90 €
The Billionaire's Dark Past: An Italian BWWM Mafia Romance For Adults Steffy Shaw / Boek Gebonden (paperback)
common.buy 11.22 €
Gracie's Grumpy Grandma Gretchen Griffith / Boek Gebonden (paperback)
common.buy 9.70 €
Partial Differential Equations and Geometric Measure Theory Alessio Figalli / Boek Gebonden (paperback)
common.buy 75.67 €
Democratic Class Struggle KORPI / Boek Gebonden (harde band)
common.buy 198.70 €
NIV, Ultimate Bible for Girls, Faithgirlz Edition, Hardcover Nancy N. Rue / Boek Gebonden (harde band)
common.buy 28.12 €
Walking on Eggshells: Discovering Strength and Courage Amid Chaos Lyssa Chapman / Boek Gebonden (paperback)
common.buy 14.26 €
Beyond the Golden Door Ali Master / Boek Gebonden (harde band)
common.buy 27.11 €
Bo the Bat Svobodova Zuzana / Boek Gebonden (paperback)
common.buy 12.74 €
Dino Cottage Door Press / Boek Leporello (harmonicaboek)
common.buy 8.39 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?