Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Langage de spécification par propriétés (Cours + TD)

Jazyk FrancouzštinaFrancouzština
Kniha Brožovaná
Kniha Langage de spécification par propriétés (Cours + TD) Bouraoui Ouni
Libristo kód: 02987692
Nakladatelství Éditions universitaires européennes, duben 2016
PSL permet d'instancier d'une classe de langage informatique ayant pour but la description et la vér... Celý popis
? points 134 b
1 338 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Amy Winehouse SOLOMON KATE / Kniha Pevná
common.buy 349 Kč
Dead Loss: An Inspector West Mystery Joan Lock / Kniha Brožovaná
common.buy 258 Kč
Mushrooms Salvatore Robert Froio / Kniha Brožovaná
common.buy 243 Kč
11+ Verbal Reasoning Rapid Tests Book 4: Year 5, Ages 9-10 Schofield & Sims / Kniha Brožovaná
common.buy 237 Kč
Levně
Velika Zbirka Ukrains'kih Narodnyh Kazok / Kniha Brožovaná
common.buy 218 Kč
Heinrich von Kleist John Gearey / Kniha Pevná
common.buy 2 208 Kč
140 Simple Messages To Guide Emerging Leaders Eddie Turner Jr / Kniha Pevná
common.buy 576 Kč
Ako si vycvičiť draky - Jazdci z Berku 1: Dračie pristátie Simon Furman / Kniha Brožovaná
common.buy 149 Kč
How to Draw the Cat Mabel L. Greer / Kniha Brožovaná
common.buy 511 Kč
Kansas Historical Quarterly, V16, No. 1-4, 1948: Kansas Historical Collections, V33 Kirke Mechem / Kniha Brožovaná
common.buy 990 Kč
La vida secreta de Hannah THACKER / Kniha Kniha
common.buy 134 Kč
Tucet pozlacených puků Miloslav Jenšík / Kniha Pevná
common.buy 412 Kč
Country of the Blind and Other Stories H. G. Wells / Audiokniha MP3
common.buy 646 Kč
Hacia el corazón de Europa Josep M. Lloveras / E-kniha Adobe ePub DRM
common.buy 267 Kč
Measure for Measure - Large Print Edition: A Play William Shakespeare / Kniha Brožovaná
common.buy 237 Kč
Bio Refinery of Wastewater Treatment Maulin P Shah / Kniha Brožovaná
common.buy 6 069 Kč
Repetytorium Student's book Język angielski podręcznik dla szkół ponadpodstawowych zakres rozszerzony wersja 2 Cathy Dobb / Kniha Brožovaná
common.buy 727 Kč
Who Is Wellness For? ROISIN FARIHA / Kniha Pevná
common.buy 436 Kč
Top
Leselöwen Kreuzworträtsel für Erstleser - 1. Klasse (Hellgrün) Katrin Merle / Kniha Brožovaná
common.buy 154 Kč
Die Ultimative Chartshow-Sommer Party-Hits / Audio Audio CD
common.buy 682 Kč
SMARTGRADES EVERY DAY AN EASY A (College Edition) Of Knowledge Press Tree of Knowledge Press / Kniha Brožovaná
common.buy 533 Kč
Data Mining als Steuerungsansatz im Vertriebscontrolling Nadine Hannemann / Kniha Brožovaná
common.buy 571 Kč
Richard Wagner und das Judentum Anton Seljak / Kniha Brožovaná
common.buy 207 Kč
Erlebnisse an Deutschen Und Fremden Hofen Philipp Fürst zu Eulenburg-Hertefeld / Kniha Brožovaná
common.buy 368 Kč

PSL permet d'instancier d'une classe de langage informatique ayant pour but la description et la vérification formelle d'un systčme électronique. PSL est une représentation textuelle des propriétés temporelles des propriétés d'une conception. En comparant avec d'autres langages de programmation classiques, la syntaxe et la sémantique du PSL inclut notations des couches, dont chaque couche ŕ sa propre syntaxe. L'objectif de ce livre est d'aider le lecteur ŕ se familiariser au langage PSL. Ce livre est décomposé en deux parties. La premičre partie détaille les notions générales du langage PSL ŕ savoir les couches et les instructions PSL. On a réservé un chapitre pour chaque couche. Chaque chapitre est bien équipé par des exemples ainsi que de chronogrammes "waves " de simulation. La deuxičme partie "partie applicative" est réservée aux exercices. Cette partie ŕ pour a pour objectif : -Adapter ŕ coder en langage PSL -Ajouter les regčles de vérification -Simuler le code -Extraire les fautes éventuelles de conception -Voir les sources de ces fautes -Corriger les fautes éventuelles de conception

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Langage de spécification par propriétés (Cours + TD)
Autor Bouraoui Ouni
Jazyk Francouzština
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 108
EAN 9783639503180
Libristo kód 02987692
Nakladatelství Éditions universitaires européennes
Váha 179
Rozměry 150 x 220 x 6

Kategorie

Technologie, strojírenství, zemědělství > Energetické technologie a inženýrství > Elektrotechnika
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Un drôle de plongeon Niveau 2 Guide pédagogique Jean-Paul Alègre / Kniha Brožovaná
common.buy 323 Kč
Lettres de M. de Lannel DE LANNEL-J / Kniha Brožovaná
common.buy 1 115 Kč
Le Destin Merveilleux de l'Enfant-Soleil: Le chemin de longue aventure Mme Elisabeth Santa-Croce / Kniha Brožovaná
common.buy 286 Kč
La flûte à bec pour débutants Anthony Marks / Kniha Pevná
common.buy 465 Kč
Soldat, Moine Et Maitre de Danse Rodolphe Reuss / Kniha Brožovaná
common.buy 284 Kč
Okoubo Maurice Courant / Kniha Brožovaná
common.buy 417 Kč
Le cahier de Héléna - Séyès, 96p, A5 - Constellation Rose / Kalendář/Diář Diář
common.buy 255 Kč
Les sociétés de construction devant la loi pénale Delmas-Marty / Kniha Brožovaná
common.buy 1 109 Kč
Petit manuel pratique de ski Alfred / Kniha Brožovaná
common.buy 407 Kč
Mini Tongue Drum Rouge Diamètre 15 cm / Kniha binding.
common.buy 1 355 Kč
Quelques idees recues sur les ecoles catholiques... Laurence Gourdon / E-kniha Adobe ePub DRM
common.buy 249 Kč
Ukraine : aux origines de la guerre PICCININ DA PRATA / Kniha Brožovaná
common.buy 745 Kč
La resignificación del Nuevo Mundo. Manuel Perez / Kniha Brožovaná
common.buy 838 Kč
Ecclesiasticus or the Wisdom of Jesus, Son of Sirach John G. Snaith / Kniha Brožovaná
common.buy 1 362 Kč
Geschichte der polnischen revolution, in den jahren 1830 und 1831 Bruck M.R. / Kniha Brožovaná
common.buy 758 Kč
Economics, Power and Culture James Ronald Stanfield / Kniha Brožovaná
common.buy 4 058 Kč
New Learning on Entrepreneurship Gary D. Libecap / Kniha Pevná
common.buy 2 951 Kč
Qcd Vacuum, Hadrons And Superdense Matter, The (2nd Edition) Edward V. Shuryak / Kniha Brožovaná
common.buy 2 555 Kč
Account of the Life of MR Richard Savage, Son of the Earl Rivers. Samuel Johnson / Kniha Brožovaná
common.buy 550 Kč
Iqbal Francesco D'Adamo / Kniha Brožovaná
common.buy 205 Kč
Holy Eucharist Christopher Osita Ezeh / Kniha Brožovaná
common.buy 383 Kč
Beyond Good and Evil Friedrich Wilhelm Nietzsche / Kniha Brožovaná
common.buy 271 Kč
Taken: A Gay Young Adult Romance Derek Clendening / Kniha Brožovaná
common.buy 237 Kč
Unique Legacy of Weird Tales Everett / Kniha Pevná
common.buy 2 713 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?