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.

Formal Methods and Software Engineering

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Jin Song Dong
Libristo kód: 01656973
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2010
This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Celý popis
? points 268 b
2 675 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-16 dnů

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

Zákazníci také koupili

Consumo de Drogas en estudiantes universitarios Luis Santiago Espinoza Paul / Kniha Brožovaná
common.buy 3 230 Kč
Posadnutosť Cassandra O'Donnell / Kniha Brožovaná
common.buy 428 Kč
Moluk Bilibo Balance- und Spielschale lila / Hra/Hračka Hračka
common.buy 818 Kč
Spekulatius, der Weihnachtsdrache. Abenteuer auf der Weihnachtsinsel Tobias Goldfarb / Kniha Pevná
common.buy 271 Kč
Top
Miss Ich-Bin-Nicht-Verliebt Saskia Louis / Kniha Brožovaná
common.buy 309 Kč
Encrucijada Rodolfo Martinez / E-kniha Adobe ePub DRM
common.buy 93 Kč
LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ / Kniha Kniha
common.buy 1 297 Kč
Wild Julia Ruby Hildebrand / Kniha Pevná
common.buy 492 Kč
Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler / Kniha Brožovaná
common.buy 648 Kč
Le Mont-Saint-Michel -Neerlandais- Henry Decaens / Kniha Brožovaná
common.buy 274 Kč
Strada facendo Italien Cahier d'activités 2de LVB A2>A2+ Marina Ferdeghini / Kniha Brožovaná
common.buy 302 Kč
Mon premier livre sonore Stella Baggott / Kniha Pevná
common.buy 300 Kč
Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume / Kniha Brožovaná
common.buy 315 Kč
Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald / Kniha Brožovaná
common.buy 874 Kč
Dinosaury / Kniha Leporelo
common.buy 250 Kč
AutoCAD Fur Die Haustechnik Olaf Schymura / Kniha Brožovaná
common.buy 1 187 Kč
Moja kaligrafia Cyferki Dorota Krassowska / Kniha Brožovaná
common.buy 50 Kč
Memoria et damnatio memoriae ve středověku Paweł Kras / Kniha Brožovaná
common.buy 141 Kč

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.

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 Formal Methods and Software Engineering
Autor Jin Song Dong, Huibiao Zhu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 712
EAN 9783642169007
ISBN 3642169007
Libristo kód 01656973
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1024
Rozměry 158 x 242 x 28

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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 > Operační systémy
Výpočetní a informační technologie > Informatika
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

Service-Oriented Computing - ICSOC Workshops 2012 Aditya Ghose / Kniha Brožovaná
common.buy 1 181 Kč
Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata / Kniha Brožovaná
common.buy 1 181 Kč
Textual analysis for English Language and Literature for the IB Diploma Carolyn P. Henly / Kniha Brožovaná
common.buy 819 Kč
400 classic Killer sudoku 9 x 9 VERY HARD + BONUS 250 Hidoku puzzles: Sudoku with VERY HARD levels puzzles and a Hidoku 9 x 9 very hard levels Basford Holmes / Kniha Brožovaná
common.buy 237 Kč
Top
Inspired by Nature Hans Blomquist / Kniha Pevná
common.buy 522 Kč
Acrylics Adrian Burrows / Kniha Brožovaná
common.buy 242 Kč
Savannah Goes To Paris Cheryl Pryor / Kniha Brožovaná
common.buy 279 Kč
Acropolis STANISLA WYSPIANSKI / Kniha Kniha
common.buy 675 Kč
Native American Style Seed Bead Jewelry. Part I. Bracelets Artium Studia / Kniha Brožovaná
common.buy 367 Kč
Bloom: Best Arizona Teen Writing of 2014 Young Authors of Arizona / Kniha Brožovaná
common.buy 340 Kč
An Epitome of the Law Affecting Marine Insurance. Lawrence Duckworth / Kniha Brožovaná
common.buy 404 Kč
TEACHERS MANUAL FOR THE 1ST RE Montrose J. Moses / Kniha Pevná
common.buy 772 Kč
Oxford Phonics World: Level 2: Student Book with App Pack 2 Kaj Schwermer / Kniha Brožovaná
common.buy 1 843 Kč
New Sogang Korean 1A Workbook Song-hee Kim / Kniha Brožovaná
common.buy 412 Kč
The Light of Stars Phyllis Glowatsky / Kniha Pevná
common.buy 415 Kč
What Labs Love Ed Camelli / Kniha Pevná
common.buy 508 Kč
Tami's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Kniha Brožovaná
common.buy 175 Kč
Ike the Eskimo Daniel Roberts / Kniha Brožovaná
common.buy 299 Kč
Death at the Member-Guest James Y. Bartlett / Kniha Brožovaná
common.buy 468 Kč
Ivan Illich in Conversation David Cayley / Kniha Brožovaná
common.buy 391 Kč
Top
Avatar: The Last Airbender - The Search Omnibus Gene Luen Yang / Kniha Brožovaná
common.buy 442 Kč
Paw Patrol: Jet to the Rescue / Video DVD
common.buy 178 Kč
Top
Phonics Ages 5-6 Collins Easy Learning / Kniha Brožovaná
common.buy 149 Kč
Let's Talk About: Sharing the Gospel Robert Bowen / E-kniha Adobe ePub DRM
common.buy 106 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?