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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Jin Song Dong
Libristo kód: 01558768
Nakladatelství Springer, Berlin, listopad 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Un Regalo para el Alma 3 Jose Maria Ventura / Kniha Brožovaná
common.buy 339 Kč
La sala de lo penal MUNILLA PETREÑAS / Kniha Brožovaná
common.buy 332 Kč
Soleil d'or CLERGEOT-L / Kniha Brožovaná
common.buy 606 Kč
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Kniha Brožovaná
common.buy 701 Kč
Juwelen aus El Moryas Schatzhaus El Morya / Kniha Brožovaná
common.buy 340 Kč
Wittgenstein et la question du livre Guest / Kniha Brožovaná
common.buy 761 Kč
Mini livre à gratter - Dinosaures Duddek / Kniha Brožovaná
common.buy 304 Kč
Aria - Tome 40 - Carnet de voyage Weyland Michel / Kniha Pevná
common.buy 485 Kč
Wise Man's Grandchild 12 Shunsuke Ogata / Kniha Brožovaná
common.buy 148 Kč
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Kniha Brožovaná
common.buy 163 Kč
Jméno-objev a zmizení věci Antonín Mokrejš / Kniha Brožovaná
common.buy 220 Kč

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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 Formal Methods and Software Engineering
Autor Jin Song Dong, Jim Woodcock
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 682
EAN 9783540204619
ISBN 354020461X
Libristo kód 01558768
Nakladatelství Springer, Berlin
Váha 966
Rozměry 155 x 235 x 35

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
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

Wall Jean Paul Sartre / Kniha Brožovaná
common.buy 256 Kč
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Kniha Pevná
common.buy 392 Kč
BattleTech Legends Robert Thurston / Kniha Brožovaná
common.buy 302 Kč
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Kniha Brožovaná
common.buy 403 Kč
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Kniha Brožovaná
common.buy 556 Kč
Bird House Libby Walden / Kniha Leporelo
common.buy 248 Kč
The Higher Power of Lucky Susan Patron / Kniha Brožovaná
common.buy 158 Kč
Women and Leadership Around the World Cynthia Cherrey / Kniha Brožovaná
common.buy 1 431 Kč
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Kniha Pevná
common.buy 1 821 Kč
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Kniha Brožovaná
common.buy 1 253 Kč
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Kniha Pevná
common.buy 3 634 Kč
How We Know Harry Binswanger / Kniha Pevná
common.buy 904 Kč
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Kniha Brožovaná
common.buy 228 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