Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Formal Methods: Applications and Technology

Name: Formal Methods: Applications and Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568175
Price: 61.44 EUR
Availability: InStock

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01568175

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, február 2007

This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Celý popis

Libristo kód: 01568175

154 b

61.44 €

Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade

/ Pevná

7.46 €

Eye of the Wolf Daniel Pennac

/ Brožovaná

7.25 €

Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru

/ Brožovaná

63.86 €

Terra magica Ostsee-Kreuzfahrt Christian Prager

/ Pevná

19.77 €

Business, Politics and International Relations Clemens WurmPatrick Salmon

/ Brožovaná

51.14 €

Ontologie und Dialektik Theodor W. Adorno

/ Brožovaná

19.97 €

Blut und Feuer Michael Gratzke

/ Brožovaná

30.46 €

Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle

/ Brožovaná

39.34 €

Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence

/ Brožovaná

5.64 €

Unbekanntes München Karl Häusler

/ Pevná

15.63 €

Flussschiffbau Wilhelm Teubert

/ Brožovaná

145.08 €

"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric

/ Brožovaná

41.86 €

Marked Point Processes on the Real Line Andreas Brandt

/ Pevná

273.12 €

Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove

/ Pevná

1 348.58 €

Less Than Zero Stuart J. Murphy

/ Brožovaná

5.84 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

/ Brožovaná

77.38 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Informácie o knihe

Celý názov Formal Methods: Applications and Technology

Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2007

Počet strán 366

EAN 9783540709510

ISBN 3540709517

Libristo kód 01568175

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 575

Rozmery 155 x 235 x 22

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach

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 > Systémová analýza a systémový dizajn

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

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

Doručenie

Nákupný poradca