Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer, Berlin, november 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Celý popis
? points 249 b
102.86 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Un Regalo para el Alma 3 Jose Maria Ventura / Kniha Brožovaná
common.buy 14.04 €
La sala de lo penal MUNILLA PETREÑAS / Kniha Brožovaná
common.buy 13.73 €
Soleil d'or CLERGEOT-L / Kniha Brožovaná
common.buy 25.05 €
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Kniha Brožovaná
common.buy 28.89 €
Juwelen aus El Moryas Schatzhaus El Morya / Kniha Brožovaná
common.buy 14.84 €
Wittgenstein et la question du livre Guest / Kniha Brožovaná
common.buy 31.42 €
Mini livre à gratter - Dinosaures Duddek / Kniha Brožovaná
common.buy 12.52 €
Aria - Tome 40 - Carnet de voyage Weyland Michel / Kniha Pevná
common.buy 20.00 €
Wise Man's Grandchild 12 Shunsuke Ogata / Kniha Brožovaná
common.buy 6.56 €
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Kniha Brožovaná
common.buy 7.16 €
Jméno-objev a zmizení věci Antonín Mokrejš / Kniha Brožovaná
common.buy 9.29 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Formal Methods and Software Engineering
Autor Jin Song Dong, Jim Woodcock
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2003
Počet strán 682
EAN 9783540204619
ISBN 354020461X
Libristo kód 01558768
Nakladateľstvo Springer, Berlin
Váha 966
Rozmery 155 x 235 x 35

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Wall Jean Paul Sartre / Kniha Brožovaná
common.buy 11.31 €
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Kniha Pevná
common.buy 16.16 €
BattleTech Legends Robert Thurston / Kniha Brožovaná
common.buy 13.13 €
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Kniha Brožovaná
common.buy 16.66 €
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Kniha Brožovaná
common.buy 22.93 €
Bird House Libby Walden / Kniha Leporelo
common.buy 11.81 €
The Higher Power of Lucky Susan Patron / Kniha Brožovaná
common.buy 6.56 €
Women and Leadership Around the World Cynthia Cherrey / Kniha Brožovaná
common.buy 59.11 €
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Kniha Pevná
common.buy 75.17 €
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Kniha Brožovaná
common.buy 54.15 €
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Kniha Pevná
common.buy 150.05 €
How We Know Harry Binswanger / Kniha Pevná
common.buy 37.28 €
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Kniha Brožovaná
common.buy 10.10 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet