«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Contribution La Conception de Syst mes Temps-R el

Idioma FrancésFrancés
Libro Tapa blanda
Libro Contribution La Conception de Syst mes Temps-R el Christophe Lohr
Código Libristo: 06996606
Editores Omniscriptum, febrero 2018
Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formell... Descripción completa
? points 224 b
91.59 €
Almacenamiento externo Envío en 10-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Shakespeare and Tolerance B. J. Sokol / Libro Tapa blanda
common.buy 60.99 €
The Many Afterlives of John Robert Thompson Valerie Lioudis / Libro Tapa blanda
common.buy 10.99 €
90's-The Collection,Vol.4 Various / Audio CD de audio
common.buy 23.79 €
MORD ist nix für Anfänger Silke Heinig / Libro Tapa blanda
common.buy 10.59 €
Los crimenes de Grindelwald. Guion original de la pelicula / The Crimes of Grindelwald: The Original Screenplay Joanne Rowling / Libro Tapa dura
common.buy 19.19 €
Foundations in Music Psychology Andrew J. Oxenham / Libro Tapa dura
common.buy 150.19 €
What to Eat During Cancer Treatment The American Cancer Society / Libro Tapa dura
common.buy 24.29 €
SDM Live Magazine Issue #19 2018 Cheraee C / Libro Tapa blanda
common.buy 10.69 €
Pólis/Cosmópolis: Identidades Globais & Locais Carmen Soares / Libro Tapa blanda
common.buy 40.39 €
Fabulous Frenchies: French Bulldog Adult Coloring Book Heather Land / Libro Tapa blanda
common.buy 8.99 €
Fashion Vintage Coloring Book for Adult: Vintage Floral Dresses, and Relaxing Flower Patterns And Relaxing Flo Vintage Floral Dresses / Libro Tapa blanda
common.buy 8.99 €
A Banger In Belgrave Hospital: street poems by Arthur Kitchener MR Arthur John Kitchener / Libro Tapa blanda
common.buy 15.39 €
An Overview of the Amendments to the Constitution Bob Navarro / Libro Tapa blanda
common.buy 10.69 €
Log Horizon: The West Wind Brigade, Vol. 7 Mamare Touno / Libro Tapa blanda
common.buy 12.19 €
El Origen de Las Especies Charles Darwin / Libro Tapa blanda
common.buy 10.59 €
Slavery Leonie Archer / Libro Tapa dura
common.buy 215.89 €
So einfach ist Modellieren mit Ton! Karin Weidlich / Libro Tapa blanda
common.buy 13.39 €
Куколки Д. Уиндем / Libro Tapa blanda
common.buy 10.69 €
Star Trek: Picard: Rogue Elements John Jackson Miller / Libro Tapa blanda
common.buy 14.29 €
Michael Storrings Christmas Market 1000 Piece Puzzle Galison / Juego/Juguete Rompecabezas
common.buy 19.89 €
Little Sarasota Dining Book 2022 Larry Hoffman / Libro Tapa blanda
common.buy 10.39 €
Grey E L James / Libro Tapa blanda
common.buy 13.09 €
Спасти себя и близких. Правила выживания в экстремальных условиях / Libro Tapa dura
common.buy 10.69 €
The Beginning after the End 1 Fuyuki23 / Libro Tapa blanda
common.buy 13.39 €

Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle ŕ l'algčbre de processus Lotos. Il aborde plusieurs points relatifs ŕ la spécification, la validation et l'ordonnancement de systčmes concurrents sujets ŕ des contraintes logiques et temporelles. La premičre partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxičme partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modčle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisičme partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systčmes temps-réel.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Contribution La Conception de Syst mes Temps-R el
Autor Christophe Lohr
Idioma Francés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2018
Número de páginas 204
EAN 9786131534706
ISBN 6131534705
Código Libristo 06996606
Editores Omniscriptum
Peso 304
Dimensiones 152 x 229 x 12

Categorías

Biografías, literatura y estudios literarios > Literatura: historia y crítica > Estudios literarios: general
Computación e informática > Tecnología de la información: cuestiones generales
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Biogéographie de la flore du Sahara Quezel / Libro Libro
common.buy 50.79 €
Pourquoi la Terre tourne-t-elle? nouvelle édition di Folco / Libro Tapa blanda
common.buy 7.79 €
Introduction ? l'économie moderne Georges Sorel / Libro Tapa blanda
common.buy 18.39 €
Zeszyt A4 60k kratka Oxford campus pastel mix pakiet 5 sztuk / Libro binding.
common.buy 27.29 €
Jy is Liefde Refiloe Moahloli / Libro electrónico Adobe ePub DRM
common.buy 5.99 €
Nano-Biosensor Technologies for Diagnosis of Infectious Diseases Anitha Varghese / Libro Tapa dura
common.buy 232.29 €
Raised on Radio Paul Rees / Libro Tapa dura
common.buy 28.59 €
Married Life May Edginton / Libro Tapa blanda
common.buy 19.09 €
Das Grundrecht auf Religionsfreiheit und die Grenzen des Strafrechts Rene Kreisl / Libro Tapa blanda
common.buy 52.19 €
Handbook of the Economics of International Migration Barry Chiswick & Paul W Miller / Libro Tapa dura
common.buy 131.39 €
Poemas de Pina Phillips Lujan Pina Phillips Lujan / Libro Tapa dura
common.buy 26.79 €
Tokyo Martin Gostelow / Libro Tapa blanda
common.buy 9.09 €
Epistolae Tres Ad D. Ioannem Pappvm Theologvm Lvtheranvm Carl von Reifitz / Libro Tapa blanda
common.buy 62.89 €
Pi Ingar Lehmann / Libro Tapa dura
common.buy 26.59 €
Cross-Linked Liquid Crystalline Systems Dirk Broer / Libro Tapa dura
common.buy 346.19 €
Hebrew-Greek Key Word Study Bible-NASB Spiros Zodhiates / Libro Tapa dura
common.buy 104.99 €
Wellenlasten auf hydrodynamisch schlanke Strukturen Holger Rakers / Libro Tapa blanda
common.buy 63.49 €
Reflections on the Works of God, and of His Providence, Throughout All Nature, ... Translated First from the German of Mr. C.C. Sturm. by a Lady. a Ne Christoph Christian Sturm / Libro Tapa blanda
common.buy 31.49 €
Through Thick and Thin. Margery Hollis / Libro Tapa blanda
common.buy 23.29 €
Elisabeth Kaiserin wider Willen Brigitte Hamann / Libro Tapa blanda
common.buy 19.89 €
Ballad Romance Touching The Days Of Charlemagne And Of The Cid Campeador John Gibson Lockhart / Libro Tapa blanda
common.buy 19.99 €
Book of Phenomenal, Hidden, Mysterious Scriptural Secrets Jan Hershberger / Libro Tapa blanda
common.buy 21.99 €
Thomas A J B Johnston / Libro Tapa blanda
common.buy 20.99 €
The Encyclopedia of the Holocaust, Volumes 3 and 4 Israel Gutman / Libro Tapa dura
common.buy 206.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?