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.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Adenilso Simao
Libristo kód: 01659166
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Celý popis
? points 153 b
63.48 €
Skladom u dodávateľa Odosielame za 10-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Die Polysaccharide Hans Pringsheim / Kniha Brožovaná
common.buy 85.05 €
SUZUME OFFICIAL VISUAL GUIDE (ARTBOOK VO JAPONAIS) Makoto Shinkai / Kniha Brožovaná
common.buy 35.53 €
2019 ELECCIO GOURMAND. GUIA DE RESTAURANTS I HOTELS DE CATA LLOVELL / Kniha Brožovaná
common.buy 26.52 €
LA MALDICIóN DE JACINTA PICHIMAHUIDA PUENZO / Kniha Brožovaná
common.buy 17.91 €
Top
Mágikus világok Johanna Basford / Kniha Brožovaná
common.buy 12.24 €
Miasto gangow. Ukryte swiaty Rio de Janeiro Czeszumski / Audiokniha MP3
common.buy 7.18 €
Монстр продаж. Как чертовски хорошо продавать и богатеть И. Рызов / Kniha Brožovaná
common.buy 20.14 €
El profesor de inglés Wang Gang / Kniha Brožovaná
common.buy 23.48 €
Die pädagogische Relevanz von Rousseaus "Emil" Anonym / Kniha Brožovaná
common.buy 16.19 €
Das Gehirn Marc Dingman / Kniha Pevná
common.buy 19.63 €
LO QUE APRENDÍ HASTA LOS 30 JORGE LORENZO GUERRERO / Kniha Brožovaná
common.buy 7.89 €
Top
Jak napsat dobrý scénář Syd Field / Kniha Pevná
common.buy 10.42 €
Piensa, es gratis Joaquín Lorente Soler / Kniha Brožovaná
common.buy 20.04 €
Evaluacion de la eficiencia del riego en sistema Enrollador en Amancio Gonzalez Perez Jorge Alfredo / Kniha Brožovaná
common.buy 40.90 €
Pilates und Dehnung. Eine symbiotische Verbindung Stephanie Gebauer / Kniha Brožovaná
common.buy 26.93 €
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Kniha Brožovaná
common.buy 47.28 €
Bedeutung des Tai Chi Chuan fur die Gesundheitspravention Maria Theresia Bitterli / Kniha Brožovaná
common.buy 14.47 €
Geometry and Differential Geometry Rafael Artzy / Kniha Brožovaná
common.buy 49.91 €
Produktionseigenarten der chemischen Industrie, ihr Einfluß auf Kalkulation und Programmgestaltung. Bernhard Weblus / Kniha Brožovaná
common.buy 37.76 €
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Kniha List
common.buy 15.18 €
Kameny a hvězdy Václav Cílek / Kniha Pevná
common.buy 11.74 €

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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.

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: Foundations and Applications
Autor Adenilso Simao, Carroll Morgan
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 205
EAN 9783642250316
ISBN 3642250319
Libristo kód 01659166
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 338
Rozmery 155 x 235 x 15

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

Mohlo by vás tiež zaujímať

Advanced Methods for Computational Collective Intelligence Geun-Sik Jo / Kniha Brožovaná
common.buy 167.88 €
Mister Rainbow C. S. Boag / Kniha Brožovaná
common.buy 31.28 €
Solar Eclipse Daniel Greene / Kniha Brožovaná
common.buy 9.00 €
The Automobile Green Book Automobile Legal Association / Kniha Brožovaná
common.buy 17.51 €
The Sleep Gas / Kniha Brožovaná
common.buy 18.62 €
I Am Bunter: How to Manipulate Your Humans and Keep Them Firmly Under Your Paw Pippin Mole / Kniha Brožovaná
common.buy 12.34 €
LEGO Star Wars Awesome Vehicles DK / Kniha Pevná
common.buy 14.77 €
Valuing Films L. Hubner / Kniha Brožovaná
common.buy 55.89 €
Pro Angular Adam Freeman / E-kniha Adobe ePub DRM
common.buy 73.61 €
Aesops Fables Jerry Pinkney / Kniha Pevná
common.buy 15.38 €
Puzzle Ignacio Gonz Li N / Kniha Brožovaná
common.buy 12.75 €
Anti-Disturbance Control for Systems with Multiple Disturbances Songyin Cao / Kniha Pevná
common.buy 306.81 €
READ THE BIBLE SMARTER NOT HARDER CHRISTOPHER R SMITH / Kniha Brožovaná
common.buy 19.63 €
National Uncanny Renee L. Bergland / Kniha Brožovaná
common.buy 25.41 €
Launch Boys' Adventures in Northern Waters Edward Sylvester Ellis / Kniha Brožovaná
common.buy 22.27 €
The World's Fastest Level Up (Manga) Vol. 1 Fame / Kniha Brožovaná
common.buy 10.62 €
Rota Fortunae THIRTEEN O'CL PRESS / Kniha Brožovaná
common.buy 13.96 €
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Kniha Pevná
common.buy 323.83 €
Alice Hugo Vickers / Kniha Brožovaná
common.buy 20.24 €
Biometric Recognition Wei Jia / Kniha Brožovaná
common.buy 99.73 €
Accessible Assessment and Pedagogies Linda J. Graham / Kniha Brožovaná
common.buy 59.03 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?