Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

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č

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

L'integration de formalismes dans le developpement logiciel

Name: L'integration de formalismes dans le developpement logiciel
Brand: Omniscriptum
SKU: 09003088
Price: 2145 CZK
Availability: InStock
Author: Thouraya Bouabana-Tebibel
ISBN: 9786131593369

Thouraya Bouabana-Tebibel

Jazyk

Francouzština

Kniha Brožovaná

Libristo kód: 09003088

Nakladatelství Omniscriptum, únor 2018

UML subit des reproches incessants sur le manque de ses fondements formels. L'imprécision de sa séma... Celý popis

Libristo kód: 09003088

215 b

2 145 Kč

Skladem u dodavatele Odesíláme za 8-11 dnů

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

Zákazníci také koupili

Adventures with a Special Traveler Marla Murasko

Brožovaná

305 Kč

Z-Strain Sj Morris

Brožovaná

392 Kč

Science Chef Joan D'Amico

Brožovaná

368 Kč

EL DADOISMO Y LA SINOLOGÍA EN OCCIDENTE GABRIEL TEROL ROJO

Pevná

616 Kč

Atlilar Joseph Kessel

Brožovaná

438 Kč

ADVANCED CONCERT STUDIES FOR EUPHONIUM B

Brožovaná

810 Kč

ColecciÃ3n de artÃ-culos religiosos y morales

Pevná

814 Kč

Saga Fiona Staples

Brožovaná

386 Kč

Popular Songs for Easy Piano. Vol 1 Tomeu Alcover

Brožovaná

348 Kč

Lola Montez zu Besuch in Ebersdorf/Reuss Heinz-Dieter Fiedler

Brožovaná

131 Kč

Lee'S Real Plan at Gettysburg Troy Harman

Brožovaná

494 Kč

Today Marion Will Be a Princess Paula Croyle

Pevná

539 Kč

To-Do Lists Book: Stay Organized Richard B Foster

Brožovaná

172 Kč

The Fantasy Collection Shine Leflur

Brožovaná

228 Kč

Leadership Strategy and Tactics WILLINK JOCKO

Brožovaná

284 Kč

NOW Yearbook Various Artists Audio

Audio CD

225 Kč

MAGIX GONGGI

binding.

205 Kč

Accounts Of The Lord High Treasurer Of Scotland: A.d. 1500-1504 James Balfour Paul

Pevná

1 039 Kč

French Leave Robert Verity

Brožovaná

314 Kč

Glass Technology David Moore

Brožovaná

5 162 Kč

Future of Corporate Governance Bob Tricker

Brožovaná

448 Kč

Desarrolla tu resiliencia Clara Govela

Brožovaná

357 Kč

On The Holy Scriptures: All Catholic Apologetics About the Bible With Scripture References Anthony Okafor

Brožovaná

413 Kč

Mr. Tompkins in Wonderland; or, Stories of C, G, and H. Illustrated by John Hookham George 1904-1968 Gamow

Brožovaná

472 Kč

UML subit des reproches incessants sur le manque de ses fondements formels. L'imprécision de sa sémantique complique la vérification des modčles quand la correction des spécifications devient une condition incontournable en génie logiciel. Reconnues pour leurs fondements théoriques rigoureux, les langages formels sont ŕ męme de répondre ŕ ce besoin. Ils sont toutefois peu utilisés en raison de leur complexité. Aussi, pour rallier convivialité et rigueur, de nombreuses équipes de recherches s'activent autour de la sémantique d'UML dans le but de lui conférer des bases solidement construites. La principale motivation de cette étude a été, tout le long de son développement, de parvenir ŕ une modélisation UML valide sans obligation de maîtrise, pour le concepteur UML, des techniques formelles usitées en pareille situation. Cet objectif, plutôt ambitieux, ouvre de larges horizons sur la sémantique des langages et l'analyse des modčles qui en découlent. La méthodologie que nous proposons apporte plusieurs contributions. Sa principale originalité apparaît dans le large spectre de diagrammes qu'elle intčgre, de façon complémentaire, pour produire un modčle unique formellement vérifié.