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.

Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany. October 7-9, 1998. Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Applied Formal Methods - FM-Trends 98 Dieter Hutter
Libristo kód: 01567090
Nakladatelství Springer, Berlin, listopad 1998
This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Warhammer: Zabíječ bestií (2. vydání) William King / Kniha Brožovaná
common.buy 314 Kč
Das perfekte Buch für Stadtkinder Emil Meier / Kniha Brožovaná
common.buy 268 Kč
Jo-Jo Sprachbuch - Allgemeine Ausgabe 2024 - 4. Schuljahr Sandra Meeh / Kniha Brožovaná
common.buy 259 Kč
Efeito da temperatura elevada na argamassa de cimento que incorpora cinza de lagoa Pramod Patil / Kniha Brožovaná
common.buy 732 Kč
Kita-Räume gestalten Margit Franz / Hra/Hračka Hra
common.buy 1 198 Kč
Aroma Carel / Audio Audio CD
common.buy 428 Kč
Dedans, dehors et autres situations godon i. Kniha Pevná
common.buy 232 Kč
Empoderamento das Mulheres na Paisagem Rural Local de Bangladesh Rajib Chandra Das / Kniha Brožovaná
common.buy 1 217 Kč
Ravenhall Academy 1: Verborgene Magie Julia Kuhn / Kniha Brožovaná
common.buy 328 Kč
Du hast mich voll erwischt Anna Bell / Kniha Brožovaná
common.buy 268 Kč
Top
Dan Young Nebezpečí odjinud Jaroslav Velinský / Kniha Brožovaná
common.buy 187 Kč
Jugendhilfeforschung Wassilios Baros / Kniha Brožovaná
common.buy 1 079 Kč
Neuen Beteiligungs- Und Anlagemoeglichkeiten Fur Versicherungsunternehmen Nach Dem Novellierten 54a Versicherungsaufsichtsgesetz Lutz R Becker / Kniha Brožovaná
common.buy 1 078 Kč
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Kniha Brožovaná
common.buy 524 Kč
My Animal Book in Tigrigna Weledo Publications / Kniha Brožovaná
common.buy 444 Kč
Pablo Picasso Eugenio d' Ors / Kniha Brožovaná
common.buy 373 Kč
Reflexions Sur L'Economie Politique (1773) Pietro Verri / Kniha Brožovaná
common.buy 837 Kč
Personalmarketing 2.0. Chancen und Risiken von Social-Media-Instrumenten im Rekrutierungsprozess Karina Herrmann / Kniha Brožovaná
common.buy 389 Kč
Collected Works in Ordered Structures and Mathematical Logic Paulo Ribenboim / Kniha Pevná
common.buy 2 357 Kč
Reedifica los muros Loren Vangalder / Kniha Brožovaná
common.buy 247 Kč
Dejvid I Dzeko: Bog Mrava (Serbian Latin Edition) David Downie / Kniha Brožovaná
common.buy 339 Kč
Chinese Butterfly, 2 Audio-CDs Chick Corea / Audio Audio CD
common.buy 576 Kč
JEREMIAH HERMANN HUPPEN / Kniha Pevná
common.buy 718 Kč
MR AL REVÈS ROGER HARGREAVES / Kniha Pevná
common.buy 114 Kč

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

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 Applied Formal Methods - FM-Trends 98
Autor Dieter Hutter, Werner Stephan, Paolo Traverso
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1999
Počet stran 384
EAN 9783540664628
ISBN 3540664629
Libristo kód 01567090
Nakladatelství Springer, Berlin
Váha 564
Rozměry 156 x 234 x 20

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

Effects of Acid Precipitation on Terrestrial Ecosystems Thomas C. Hutchinson / Kniha Pevná
common.buy 2 551 Kč
Noche De Reyes The Night Of Kings? Manuel a Melendez / Kniha Brožovaná
common.buy 176 Kč
Mr. Okra Sells Fresh Fruits and Vegetables Lashon Daley / Kniha Brožovaná
common.buy 387 Kč
Gaudi's Mosaics Gaudi's Mosaics Canvas Bag Paperblanks / Kniha Brožovaná
common.buy 451 Kč
Don't Judge a Lizard by His Scales Dan Dugi / Kniha Pevná
common.buy 317 Kč
Can It Fly? - CD Only Bobbie Kalman / Kniha Pevná
common.buy 191 Kč
Top
The Mindfulness Coloring Book - Volume Three Emma Farrarons / Kniha Brožovaná
common.buy 178 Kč
Food And Exercise Journal Speedy Publishing LLC / Kniha Brožovaná
common.buy 258 Kč
Computer Science and Its Applications Abdelmalek Amine / Kniha Brožovaná
common.buy 2 357 Kč
Batman: The Audio Adventures Anthony Marques / Kniha Brožovaná
common.buy 425 Kč
Violin Sonata in B Minor: Violin and Piano Herbert Howells / Kniha Brožovaná
common.buy 1 055 Kč
The Stock Market Outsider: Becoming a Billionaire: Valuable, Practical Insight Philip Fanara / Kniha Brožovaná
common.buy 340 Kč
An Outline of Law and Procedure in Representation Cases National Labor Relations Board / Kniha Brožovaná
common.buy 837 Kč
Skulduggery Pleasant 05. Mortal Coil Derek Landy / Kniha Brožovaná
common.buy 407 Kč
Kicking with Kennedy Brad Garrett / Kniha Brožovaná
common.buy 196 Kč
Top
The Noma Guide to Fermentation René Redzepi / Kniha Pevná
common.buy 654 Kč
Jane Austen's Sanditon Janet Todd / Kniha Pevná
common.buy 266 Kč
Uncertainties in Numerical Weather Prediction Haraldur Olafsson / Kniha Brožovaná
common.buy 3 579 Kč
tankers of Mussolini Paolo Crippa / Kniha Brožovaná
common.buy 490 Kč
Illustrated Encyclopaedia of 'Ugly' Animals Sami Bayly / Kniha Pevná
common.buy 479 Kč
Fight Like a Mitchell Jennifer Foor / Kniha Brožovaná
common.buy 196 Kč
Připravujeme
Color of Dragons Robert Anthony Salvatore / Kniha Pevná
common.buy 284 Kč
Don Juan: Cantos I. to V. Robert Cruikshank / Kniha Brožovaná
common.buy 532 Kč
Agricultural Science: Principles and Practices Jessie Benson / Kniha Pevná
common.buy 3 098 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?