Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Formal Verification of Object-Oriented Software

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal Verification of Object-Oriented Software Bernhard Beckert
Код Либристо: 01297498
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Цялото описание
? points 142 b
58.44 €
114.30  лв
Външен склад в ограничено количество Изпращаме след 9-15 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Distinció. Un segle de fotografia de moda Naranjo Niño / Книга С меки корици
common.buy 30.12 € 58.91 лв
Vyjdi, i vyšel Štěpán Hájek / Книга binding.
common.buy 3.61 € 7.05 лв
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni / Книга С меки корици
common.buy 41.36 € 80.90 лв
Accès à l'eau potable Elamé / Книга С меки корици
common.buy 22.28 € 43.57 лв
Papà, guarda! Eva Montanari / Книга С твърди корици
common.buy 18.05 € 35.30 лв
Sběratel vůní Dominique Roques / Книга С твърди корици
common.buy 14.28 € 27.94 лв
Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer / Книга С меки корици
common.buy 67.00 € 131.04 лв
Musiklehre, m. DVD Friedrich Neumann / Книга Лист
common.buy 46.68 € 91.29 лв
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Книга С меки корици
common.buy 43.27 € 84.63 лв
Sto tváří, sto příběhů Jiří Hanuš / Книга С меки корици
common.buy 17.12 € 33.48 лв
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Книга С меки корици
common.buy 17.07 € 33.38 лв
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN / Книга С меки корици
common.buy 24.65 € 48.21 лв
Salben im Morgen- und Abendlande Friedrich W. Culmann / Книга С меки корици
common.buy 32.44 € 63.45 лв
Les Archives Star Wars. 1977-1983 Paul Duncan / Книга С твърди корици
common.buy 209.63 € 410.00 лв
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Книга С меки корици
common.buy 67.62 € 132.25 лв
Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant / Книга С меки корици
common.buy 10.52 € 20.57 лв

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Formal Verification of Object-Oriented Software
Автор Bernhard Beckert
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 199
Баркод 9783642180699
ISBN 3642180698
Код Либристо 01297498
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 331
Размери 155 x 235 x 13

Категории

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Object-oriented programming (OOP)
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

water me water you we grow together Crystal Prince / Книга С меки корици
common.buy 16.60 € 32.48 лв
PRACTICAL ASTROLOGY: BEING A SIMPLE METH ALAN LEO / Книга С твърди корици
common.buy 42.86 € 83.83 лв
Eaf! Dog Days of Summer D J Hoard / Книга С меки корици
common.buy 7.68 € 15.02 лв
Back to Zero Gil Rendle / Книга С меки корици
common.buy 12.84 € 25.11 лв
Logic of Thought of Investigation and of Knowledge Vol I Hermann Lotze / Книга С твърди корици
common.buy 38.17 € 74.65 лв
Raising Godly Children in an Ungodly World: Leaving a Lasting Legacy Ken Ham / Книга С меки корици
common.buy 10.62 € 20.77 лв
Top
Stephen Shore: Uncommon Places Stephan Schmidt-Wulffen / Книга С твърди корици
common.buy 48.74 € 95.33 лв
Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre Michael Asher / Книга С меки корици
common.buy 14.64 € 28.64 лв
Tornadoes Mari C. Schuh / Книга С меки корици
common.buy 9.54 € 18.65 лв
China Classic Paintings Art History Series - Book 1: Mythology: English Version Zhou Wenjing / Книга С меки корици
common.buy 12.94 € 25.31 лв
Rethinking New Womanhood Nazia Hussein / Книга С твърди корици
common.buy 122.76 € 240.10 лв
The Hot Rats Book Bill Gubbins / Книга С твърди корици
common.buy 35.02 € 68.49 лв
Anglo-American Insanity Defence Reform Faye Boland / Книга С меки корици
common.buy 52.92 € 103.50 лв
Cycling Chef: Recipes for Getting Lean and Fuelling the Machine Alan Murchison / Книга С твърди корици
common.buy 24.91 € 48.72 лв
Quantum Pythagoreans Ivsin / Книга С меки корици
common.buy 26.15 € 51.14 лв
The Near East: A Modern History William Yale / Книга С твърди корици
common.buy 55.14 € 107.84 лв
Stochastic Service Systems: The Siam Series in Applied Mathematics John Riordan / Книга С твърди корици
common.buy 38.17 € 74.65 лв
Top
Cambridge Primary English Workbook 1 with Digital Access (1 Year) Gill Budgell / Книга С меки корици
common.buy 17.53 € 34.29 лв
Fascism Roger Griffin / Книга С меки корици
common.buy 13.82 € 27.03 лв
Maths - No Problem! Measuring, Ages 4-6 (Key Stage 1) Maths — No Problem! / Книга С меки корици
common.buy 5.93 € 11.59 лв
Professor X: A Blue Devils MC Kiki Leach / Книга С меки корици
common.buy 16.60 € 32.48 лв
Structural Equation Modelling with Partial Least Squares Using Stata and R Mehmetoglu / Книга С меки корици
common.buy 71.90 € 140.63 лв
"They Say / I Say" with Readings Gerald Graff / Книга С твърди корици
common.buy 74.84 € 146.38 лв
Detective Dogs Are on the Case STEVENS ALISON PEARCE / Книга С твърди корици
common.buy 16.50 € 32.27 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?