phone 02/210 210 99
LIBRISTO 0
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 €
phone Kontakt phoneAko nakupovať

Formal Methods: Foundations and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Rohit Gheyi
Libristo kód: 01662107
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Celý popis
? points 200 b
79.69 €
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ť

TOP
Petrolejové lampy Jaroslav Havlíček / Brožovaná
common.buy 4.83 €
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Brožovaná
common.buy 16.51 €
Dark Ages and the Age of Gold Russell A. Fraser / Pevná
common.buy 206.14 €
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Brožovaná
common.buy 94.30 €
People's Platform Astra Taylor / Brožovaná
common.buy 16.01 €
Planning After Petroleum / Pevná
common.buy 247.75 €
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Brožovaná
common.buy 185.99 €
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Brožovaná
common.buy 49.36 €
Journeying Wave Richmal Crompton / Pevná
common.buy 35.86 €
Logic for Concurrency and Synchronisation R.J. De Queiroz / Brožovaná
common.buy 120.90 €
Interfacing PIC Microcontrollers Martin Bates / Brožovaná
common.buy 67.09 €
Handbuch Der Ziehtechnik Walter Sellin / Brožovaná
common.buy 66.69 €
Intercultural Issues in Online Communication Verena Wiedmaier / Brožovaná
common.buy 142.66 €
Piano Exam Pieces 2015 & 2016, Grade 5 / Pevná
common.buy 19.03 €
Ballad And The Source Rosamond Lehmann / Brožovaná
common.buy 16.51 €
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Brožovaná
common.buy 104.68 €

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Informácie o knihe

Celý názov Formal Methods: Foundations and Applications
Autor Rohit Gheyi, David Naumann
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 227
EAN 9783642332951
ISBN 3642332951
Libristo kód 01662107
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 373
Rozmery 155 x 235 x 14

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
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
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

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