Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Methods and Software Engineering

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods and Software Engineering Jin Song Dong
Koda Libristo: 01656973
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2010
This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Celoten opis
? points 267 b
109.33 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 10-16 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Consumo de Drogas en estudiantes universitarios Luis Santiago Espinoza Paul / Knjiga Mehka
common.buy 132.04 €
Posadnutosť Cassandra O'Donnell / Knjiga Mehka
common.buy 14.10 €
Moluk Bilibo Balance- und Spielschale lila / Igra/Igrača Igrača
common.buy 29.90 €
Spekulatius, der Weihnachtsdrache. Abenteuer auf der Weihnachtsinsel Tobias Goldfarb / Knjiga Trda
common.buy 11.09 €
Top
Miss Ich-Bin-Nicht-Verliebt Saskia Louis / Knjiga Mehka
common.buy 12.60 €
Encrucijada Rodolfo Martinez / E-knjiga Adobe ePub DRM
common.buy 3.39 €
LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ / Knjiga Knjiga
common.buy 48.91 €
Wild Julia Ruby Hildebrand / Knjiga Trda
common.buy 20.10 €
Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler / Knjiga Mehka
common.buy 26.50 €
Le Mont-Saint-Michel -Neerlandais- Henry Decaens / Knjiga Mehka
common.buy 10.19 €
Strada facendo Italien Cahier d'activités 2de LVB A2>A2+ Marina Ferdeghini / Knjiga Mehka
common.buy 11.29 €
Mon premier livre sonore Stella Baggott / Knjiga Trda
common.buy 11.19 €
Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume / Knjiga Mehka
common.buy 11.69 €
Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald / Knjiga Mehka
common.buy 35.70 €
Dinosaury / Knjiga Kartonka
common.buy 8.09 €
AutoCAD Fur Die Haustechnik Olaf Schymura / Knjiga Mehka
common.buy 48.51 €
Moja kaligrafia Cyferki Dorota Krassowska / Knjiga Mehka
common.buy 2.09 €
Memoria et damnatio memoriae ve středověku Paweł Kras / Knjiga Mehka
common.buy 5.19 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods and Software Engineering
Avtor Jin Song Dong, Huibiao Zhu
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 712
EAN 9783642169007
ISBN 3642169007
Koda Libristo 01656973
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 1024
Mere 158 x 242 x 28

Kategorije

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer science
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Service-Oriented Computing - ICSOC Workshops 2012 Aditya Ghose / Knjiga Mehka
common.buy 48.31 €
Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata / Knjiga Mehka
common.buy 48.31 €
Textual analysis for English Language and Literature for the IB Diploma Carolyn P. Henly / Knjiga Mehka
common.buy 35.10 €
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 / Knjiga Mehka
common.buy 9.69 €
Top
Inspired by Nature Hans Blomquist / Knjiga Trda
common.buy 21.30 €
Acrylics Adrian Burrows / Knjiga Mehka
common.buy 10.59 €
Savannah Goes To Paris Cheryl Pryor / Knjiga Mehka
common.buy 11.39 €
Acropolis STANISLA WYSPIANSKI / Knjiga Knjiga
common.buy 27.60 €
Native American Style Seed Bead Jewelry. Part I. Bracelets Artium Studia / Knjiga Mehka
common.buy 15.90 €
Bloom: Best Arizona Teen Writing of 2014 Young Authors of Arizona / Knjiga Mehka
common.buy 13.90 €
An Epitome of the Law Affecting Marine Insurance. Lawrence Duckworth / Knjiga Mehka
common.buy 16.50 €
TEACHERS MANUAL FOR THE 1ST RE Montrose J. Moses / Knjiga Trda
common.buy 31.50 €
Oxford Phonics World: Level 2: Student Book with App Pack 2 Kaj Schwermer / Knjiga Mehka
common.buy 68.82 €
New Sogang Korean 1A Workbook Song-hee Kim / Knjiga Mehka
common.buy 16.80 €
The Light of Stars Phyllis Glowatsky / Knjiga Trda
common.buy 17.00 €
What Labs Love Ed Camelli / Knjiga Trda
common.buy 20.80 €
Tami's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Knjiga Mehka
common.buy 7.19 €
Ike the Eskimo Daniel Roberts / Knjiga Mehka
common.buy 12.19 €
Death at the Member-Guest James Y. Bartlett / Knjiga Mehka
common.buy 19.10 €
Ivan Illich in Conversation David Cayley / Knjiga Mehka
common.buy 16.00 €
Top
Avatar: The Last Airbender - The Search Omnibus Gene Luen Yang / Knjiga Mehka
common.buy 18.10 €
Paw Patrol: Jet to the Rescue / Film DVD
common.buy 7.29 €
Top
Phonics Ages 5-6 Collins Easy Learning / Knjiga Mehka
common.buy 6.09 €
Let's Talk About: Sharing the Gospel Robert Bowen / E-knjiga Adobe ePub DRM
common.buy 3.89 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?