Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verified Software: Theories, Tools, Experiments Rajeev Joshi
Libristo kod: 01660430
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, siječanj 2012
This volume contains the proceedings of the 4th International Conference on Verified Software: Theor... Cijeli opis
? points 142 b
58.63 €
Vanjske zalihe Šaljemo za 9-15 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Puzzle Podzim v Turecku / Igra/Igračka Puzzle
common.buy 8.90 €
Hundeschwätzchen Christine Bienert / Knjiga Meki uvez
common.buy 10.83 €
Warrior Cats, Gefährliche Spuren Erin Hunter / Knjiga Meki uvez
common.buy 10.52 €
Die Cum-Ex-Files Oliver Schröm / Knjiga Meki uvez
common.buy 16.30 €
Histoire et traditions des peuples Ngowe du Gabon Sergys-Dereck-Romaric Ndong-Ondo / Knjiga Meki uvez
common.buy 35.74 €
Das Konzept des Sozialkapitals Sandra Seubert / Knjiga Meki uvez
common.buy 33.92 €
Unter Eis Falk Richter / Knjiga Meki uvez
common.buy 18.02 €
A Psicologia dos vínculos que nos afetam Gelci Nogueira / Knjiga Meki uvez
common.buy 49.01 €
El Libro del Vermut: Un Barman Y Un Enólogo Celebran El Aperitivo Más Bebido del Mundo Shaun Byrne / Knjiga Tvrdi uvez
common.buy 16.09 €
Marceline Desbordes-Valmore Stefan Zweig / Knjiga Tvrdi uvez
common.buy 22.37 €
Wilde Westen Barbara Zhanial / Knjiga Meki uvez
common.buy 75.85 €
Go cửa thiền NGUY N MINH / Knjiga Meki uvez
common.buy 17.31 €
Guardians of the Galaxy. Vol.2, 1 Blu-ray Fred Raskin / Video Blu-ray
common.buy 12.35 €
Sonnenuntergang bei De Koog (Puzzle) Elke Krone / Igra/Igračka Igra
common.buy 42.73 €
Les Cosaques: Drame En 5 Actes Et 9 Tableaux ARNAULT-A-F / Knjiga Meki uvez
common.buy 16.50 €

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.§The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial§submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design§methodologies, tool integration and plug-ins, automation in formal§verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verified Software: Theories, Tools, Experiments
Autor Rajeev Joshi, Peter Müller, Andreas Podelski
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 326
EAN 9783642277047
ISBN 3642277047
Libristo kod 01660430
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 516
Dimenzije 155 x 235 x 22

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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 > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Israel Becomes a People -Leade Bible Study Paulist / Knjiga Meki uvez
common.buy 12.55 €
Newcastle Upon Tyne Ordnance Survey / Tiskanica Mapa
common.buy 18.12 €
All About Ellie Callie Barkley / Knjiga Meki uvez
common.buy 6.98 €
Walking in a Giant's Footsteps Victoria Valentine / Knjiga Meki uvez
common.buy 14.88 €
Amazing Heights: The Golden Age Ole Steen Hansen / Knjiga Tvrdi uvez
common.buy 27.54 €
Phantasie - A Score for Solo Piano Op.17 (1838) Robert Schumann / Knjiga Meki uvez
common.buy 17.51 €
Secret Power of Tantrik Breathing: Techniques for Attaining Health, Harmony, and Liberation Swami Sivapriyananda / Knjiga Meki uvez
common.buy 15.08 €
Aline Barnsdall's Olive Hill Project: Frank Lloyd Wright Sketches and Drawings, Edmund Teske Photographs Jeffrey Herr / Knjiga Meki uvez
common.buy 18.12 €
Coordination of Complex Sociotechnical Systems Stefano Mariani / Knjiga Tvrdi uvez
common.buy 103.10 €
Reading Wonders, Grade 2, Leveled Reader the Sounds of Trash, Beyond, Unit 3, 6-Pack Mcgraw-Hill Education / Knjiga Meki uvez
common.buy 78.99 €
Consciousness in Modernist Fiction Violeta Sotirova / Knjiga Tvrdi uvez
common.buy 55.90 €
"Funny Fungal Diplomacy" and Other Stories: Four Humor Novellas Thomas P Hanna / Knjiga Meki uvez
common.buy 13.87 €
Expedition Pointe DR. M / Knjiga Meki uvez
common.buy 21.26 €
Munster Cottage Boy REGINA ROCHE / Knjiga Meki uvez
common.buy 23.08 €
Teacher Guide and Novel Unit for the Crossover by Kwame Alexander: Quick Student Workbooks John Pennington / Knjiga Meki uvez
common.buy 8.60 €
Pandora's Box Wedekind Frank / Knjiga Meki uvez
common.buy 7.89 €
Alfonso X, the Justinian of His Age Joseph F. O'Callaghan / Knjiga Tvrdi uvez
common.buy 69.47 €
A Winning World: Triumphant Living By Choice Shermanda Anderson-Ramsay / Knjiga Meki uvez
common.buy 24.40 €
Parenting Your Addicted Child: Participant Manual Lynn Raveling / Knjiga Meki uvez
common.buy 13.06 €
Walking the John o' Groats Trail Andy Robinson / Knjiga Meki uvez
common.buy 18.12 €
An Architecture of Light Houria Chérid / Knjiga Meki uvez
common.buy 24.30 €
ALICE IN WONDERLAND CARROLL / Knjiga Knjiga
common.buy 25.31 €
Toast to Love and Sacrifice Andrea Rachiele / Knjiga Meki uvez
common.buy 25.31 €
Haunted Cork Darren Mann / Knjiga Meki uvez
common.buy 16.09 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?