Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verified Software: Theories, Tools, Experiments

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

Limba englezăengleză
Carte Carte broșată
Carte Verified Software: Theories, Tools, Experiments Rajeev Joshi
Codul Libristo: 01660430
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2012
This volume contains the proceedings of the 4th International Conference on Verified Software: Theor... Descrierea completă
? points 148 b
320.33 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Puzzle Podzim v Turecku / Joc / Jucărie Puzzle
common.buy 49.54 lei
Hundeschwätzchen Christine Bienert / Carte Carte broșată
common.buy 60.13 lei
Warrior Cats, Gefährliche Spuren Erin Hunter / Carte Carte broșată
common.buy 58.57 lei
Die Cum-Ex-Files Oliver Schröm / Carte Carte broșată
common.buy 89.94 lei
Histoire et traditions des peuples Ngowe du Gabon Sergys-Dereck-Romaric Ndong-Ondo / Carte Carte broșată
common.buy 197.66 lei
Das Konzept des Sozialkapitals Sandra Seubert / Carte Carte broșată
common.buy 186.85 lei
Unter Eis Falk Richter / Carte Carte broșată
common.buy 99.71 lei
A Psicologia dos vínculos que nos afetam Gelci Nogueira / Carte Carte broșată
common.buy 271.20 lei
El Libro del Vermut: Un Barman Y Un Enólogo Celebran El Aperitivo Más Bebido del Mundo Shaun Byrne / Carte Copertă tare
common.buy 89.32 lei
Marceline Desbordes-Valmore Stefan Zweig / Carte Copertă tare
common.buy 123.91 lei
Wilde Westen Barbara Zhanial / Carte Carte broșată
common.buy 418.07 lei
Go cửa thiền NGUY N MINH / Carte Carte broșată
common.buy 96.07 lei
Guardians of the Galaxy. Vol.2, 1 Blu-ray Fred Raskin / Videoclip Blu-ray
common.buy 67.71 lei
Sonnenuntergang bei De Koog (Puzzle) Elke Krone / Joc / Jucărie Joc
common.buy 236.20 lei
Les Cosaques: Drame En 5 Actes Et 9 Tableaux ARNAULT-A-F / Carte Carte broșată
common.buy 90.67 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verified Software: Theories, Tools, Experiments
Autor Rajeev Joshi, Peter Müller, Andreas Podelski
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 326
EAN 9783642277047
ISBN 3642277047
Codul Libristo 01660430
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 516
Dimensiuni 155 x 235 x 22

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Israel Becomes a People -Leade Bible Study Paulist / Carte Carte broșată
common.buy 68.96 lei
Newcastle Upon Tyne Ordnance Survey / Materiale tipărite Hartă
common.buy 101.06 lei
All About Ellie Callie Barkley / Carte Carte broșată
common.buy 38.73 lei
Walking in a Giant's Footsteps Victoria Valentine / Carte Carte broșată
common.buy 81.74 lei
Amazing Heights: The Golden Age Ole Steen Hansen / Carte Copertă tare
common.buy 151.85 lei
Phantasie - A Score for Solo Piano Op.17 (1838) Robert Schumann / Carte Carte broșată
common.buy 96.07 lei
Secret Power of Tantrik Breathing: Techniques for Attaining Health, Harmony, and Liberation Swami Sivapriyananda / Carte Carte broșată
common.buy 83.71 lei
Aline Barnsdall's Olive Hill Project: Frank Lloyd Wright Sketches and Drawings, Edmund Teske Photographs Jeffrey Herr / Carte Carte broșată
common.buy 100.12 lei
Coordination of Complex Sociotechnical Systems Stefano Mariani / Carte Copertă tare
common.buy 568.27 lei
Reading Wonders, Grade 2, Leveled Reader the Sounds of Trash, Beyond, Unit 3, 6-Pack Mcgraw-Hill Education / Carte Carte broșată
common.buy 431.78 lei
Consciousness in Modernist Fiction Violeta Sotirova / Carte Copertă tare
common.buy 305.89 lei
"Funny Fungal Diplomacy" and Other Stories: Four Humor Novellas Thomas P Hanna / Carte Carte broșată
common.buy 76.34 lei
Expedition Pointe DR. M / Carte Carte broșată
common.buy 116.53 lei
Munster Cottage Boy REGINA ROCHE / Carte Carte broșată
common.buy 126.71 lei
Teacher Guide and Novel Unit for the Crossover by Kwame Alexander: Quick Student Workbooks John Pennington / Carte Carte broșată
common.buy 46.94 lei
Pandora's Box Wedekind Frank / Carte Carte broșată
common.buy 43.20 lei
Alfonso X, the Justinian of His Age Joseph F. O'Callaghan / Carte Copertă tare
common.buy 377.88 lei
A Winning World: Triumphant Living By Choice Shermanda Anderson-Ramsay / Carte Carte broșată
common.buy 133.88 lei
Parenting Your Addicted Child: Participant Manual Lynn Raveling / Carte Carte broșată
common.buy 71.77 lei
Walking the John o' Groats Trail Andy Robinson / Carte Carte broșată
common.buy 100.75 lei
An Architecture of Light Houria Chérid / Carte Carte broșată
common.buy 134.30 lei
ALICE IN WONDERLAND CARROLL / Carte Carte
common.buy 137.83 lei
Toast to Love and Sacrifice Andrea Rachiele / Carte Carte broșată
common.buy 138.45 lei
Haunted Cork Darren Mann / Carte Carte broșată
common.buy 89.53 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?