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.

FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Libristo kód: 01563353
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, únor 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Připravujeme
Le guide des contrôles et poursuites en matière fiscale 2022/2023 - Fraude - Blanchiment Bernard Bouloc / Kniha Brožovaná
common.buy 1 438 Kč
Guadeloupe COLLECTIFS GALLIMARD LOISIRS / Kniha Brožovaná
common.buy 369 Kč
Studentenküche veggie - Mehr als 60 einfache vegetarische Rezepte, Infos zu leckerem Fleischersatz und das wichtigste Küchen-Know-How Ann-Cathrine Johnsson / Kniha Pevná
common.buy 298 Kč
Under the Stars (Punjabi Gurmukhi Kids Book) Kidkiddos Books / Kniha Brožovaná
common.buy 403 Kč
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / Kniha Brožovaná
common.buy 703 Kč
Cut scene. Un montaggio diverso sull'autolesionismo Rita Latella / Kniha Brožovaná
common.buy 597 Kč
Bela Dama - A Empresaria do Ano Cleberson Eduardo Da Costa / Kniha Brožovaná
common.buy 237 Kč
La muchacha de los ojos de oro HONORE DE BALZAC / Kniha Brožovaná
common.buy 286 Kč
Paroles de La Grece Antique Jacques Lacarriere / Kniha Brožovaná
common.buy 317 Kč
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / Kniha Brožovaná
common.buy 1 519 Kč
Folgebewertung des Goodwill Tino Fettback / Kniha Brožovaná
common.buy 1 502 Kč
Ausweg ins Unwirkliche Clemens Brunn / Kniha Brožovaná
common.buy 1 014 Kč
Russische Reise Hermann Bahr / Kniha Brožovaná
common.buy 469 Kč
Vertragsstrafenklauseln im Arbeitsrecht Manuel Sedlak / Kniha Brožovaná
common.buy 369 Kč
"Bemerkungen uber eine sonderbare litterarische Erscheinung Carola Katharina Bauer / Kniha Brožovaná
common.buy 369 Kč
Aushandlung Ohne Dissens? Sarah Hitzler / Kniha Brožovaná
common.buy 1 214 Kč
Guida per l'insegnante Telis Marin / Kniha Brožovaná
common.buy 429 Kč
Top
BLACK CAT -Jamais de jasmin + CD (A1) MARGUERITE DESCOMBES / Kniha Brožovaná
common.buy 294 Kč

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

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 FME 2001: Formal Methods for Increasing Software Productivity
Autor Jose N. Oliveira, Pamela Zave
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2001
Počet stran 634
EAN 9783540417910
ISBN 3540417915
Libristo kód 01563353
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1083
Rozměry 155 x 233 x 35

Kategorie

Ekonomie, finance, obchod a management > Obchod a management > Obchodní matematika a systémy
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 > Obchodní aplikace
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

Boys Who Rocked the World Michelle Roehm McCann / Kniha Brožovaná
common.buy 264 Kč
Switch Mode Power Conversion K. Kit Sum / Kniha Pevná
common.buy 8 435 Kč
Miracle Gilbert Morris / Kniha Brožovaná
common.buy 311 Kč
Loyal Oration, Giving a Short Account of Several Plots, Some Purely Popish, Others Mixt; ... Compos'd by James Parkinson, ... to Which Is Annex'd by W James Parkinson / Kniha Brožovaná
common.buy 287 Kč
Christmas to Color Mary Tanana / Kniha Brožovaná
common.buy 284 Kč
Special and Inclusive Education Thér?se Day / Kniha Brožovaná
common.buy 1 433 Kč
Making Money Stephen Briggs / Kniha Brožovaná
common.buy 407 Kč
Připravujeme
Winnie and Wilbur: The Big Bad Robot with audio CD Valerie Thomas / Kniha Pevná
common.buy 302 Kč
Glass of Time MICHAEL / Kniha Brožovaná
common.buy 348 Kč
Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Kniha Pevná
common.buy 2 462 Kč
Life In The Clearings Versus The Bush Susanna Moodie / Kniha Pevná
common.buy 1 011 Kč
There Is a Rainbow Inside of Me Debra Ann Healey / Kniha Brožovaná
common.buy 380 Kč
STEAM Kids Christmas: Science / Technology / Engineering / Art / Math Activity Countdown for Kids Anne Carey / Kniha Brožovaná
common.buy 548 Kč
SOLUTION OF BIBLE PROBLEMS & L Benjamin Casey / Kniha Pevná
common.buy 772 Kč
The Principles of the Law of Municipal Corporations. Charles Burke Elliott / Kniha Brožovaná
common.buy 707 Kč
Party Leaders in the United States Congress, 1789-2012 Valerie Heitshusen / Kniha Brožovaná
common.buy 362 Kč
Information Delivery in the 21st Century Tammy Nickelson Dearie / Kniha Brožovaná
common.buy 1 673 Kč
A Tale of Two Cities Charles Dickens / Kniha Brožovaná
common.buy 264 Kč
Secret Surveyor Secret Surveyor / E-kniha Adobe ePub DRM
common.buy 239 Kč
B. J. Harrison Reads The Wind in the Willows Grahame / Audiokniha MP3
common.buy 232 Kč
Legal Protection of Databases Davison / Kniha Pevná
common.buy 3 559 Kč
Naturalizing Epistemic Virtue Abrol Fairweather / Kniha Pevná
common.buy 2 394 Kč
The Pattern Cookbook (1890) Butterick Publishing / Kniha Pevná
common.buy 1 403 Kč
Evolution Jeri Travis / Kniha Pevná
common.buy 591 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?