Search Results - UMZ - Books - Steffen, Bernhard
Order within 4hrs 8mins for Next Day Delivery
View Basket
Sign Out
Early Years View All
BrowseEarly YearsPrimarySecondaryFurther EducationAcademicVLeBooks
Top Categories
Popular TitlesBook BundlesComing SoonNew & NoteworthyAccelerated ReaderTikTok Made Me Read It
Non-Fiction Books
Biography & MemoirsHistoryMusicSportWildlifeView More...
Publisher
Crown HouseDorling Kindersley (DK)GMC DistributionMacmillanWileyView More...
Fiction Books
Animal storiesClassic crimeEnviroment storiesFantasyGraphic NovelsView More...
Author
David AlmondKwame AlexanderMalorie BlackmanSarah CrossanWilliam ShakespeareView More...
Children's Books
Bedtime StoriesBig BooksBoard BooksPicture BooksSoft Toys & GamesView More...
eBooks
AcademicCollectionsNew eBooksPrimary Box SetsPromotionsSecondary Box sets
Popular Topics
Black Lives, Black HistoryDiversity MattersFantastic FemalesLGBTQ+Mental Health AwarenessLooking After Our Planet
Not To Be Missed
Book ReviewsBlogEnglish MasteryOfficial Book AwardsSchool Book AwardsYoto Carnegies
Other
DictionariesDVD’sExam BoardsScotland ResourcesSENDTimeline of Events
Nursery Essentials
100 Essential Picture BooksFairytales & FablesNursery Rhymes & SongsSound BooksStory Board BooksTouch and Feel
Topics
Animal StoriesDinosaursFestivals & CelebrationsFunny StoriesPeople Who Help UsView More...
First Learning
ABC and First WordsColoursNumbers & CountingRhyming & WordplaySeasons & TimeView More...
Conversation Starters
Black Lives, Black HistoryBooks to Inspire ReadingDiversity MattersLooking after our PlanetRefugees & ImmigrationStarting School
Favourite Characters
BlueyElmerPaddingtonPeppa PigThe GruffaloView More...
Personal Development
All Kinds of FamiliesCelebrating GrandparentsFantastic FemalesFirst ExperiencesMental HealthPositively Me!
Favourite Series
Baby Touch & FeelCampbell Busy BooksFirst Questions & AnswersLadybird First Favourite TalesThat's Not My…View More...
Classroom Essentials
Big BooksNumiconPie Corbett CollectionsReading SchemesTeacher Resources/CPDToys and Games
Authors/Illustrators
Dapo AdeolaJoseph CoelhoJulia DonaldsonTom FletcherSue HendraView More...
Browns Recommends
Book BundlesCarnegie Medal for IllustrationGreat Books to Read AloudNew & NoteworthyOfficial Book AwardsTimeline of Events
Reading and Phonics
Accelerated ReaderAR Kids Reading Report '23AR: Newly QuizzedBook BandsPie Corbett CollectionsReading Schemes
Topics
Fiction by Genre – KS1Fiction by Genre – KS2Topic Collections - Early YearsTopic Collections - KS1Topic Collections - KS2
Reading Support
Dual & Foreign LanguageHow to Write a StoryPicture Books for KS1Picture Books for KS2Reluctant & Dyslexic ReadersWordless Picture Books
Conversation Starters
Black Lives, Black HistoryDiversity MattersFantastic FemalesFestivals & CelebrationsLooking After Our PlanetRefugees & Immigration
Reading for Pleasure
Fantastic FactsFavourite Classroom ReadsFilm & TV AdaptationsGraphic NovelsNarrative Non-FictionRead Around the World
Personal Development
Bullying AwarenessInspirational LivesMental HealthPeople Who Help UsRead for Empathy 2024Starting Secondary School
Library Collections
100 Best Fiction for Y1-Y6100 Best Non-Fiction for Y1-Y6Favourite Authors, A-ZSeries: Early Readers & KS1Series: Lower KS2Shakespeare
Classroom Essentials
11+ ExamsDictionariesNumiconScotland ResourcesTeacher Resources/CPDWales Resources
Browns Bestsellers
Bestselling New FictionBestselling New Non-FictionBook BundlesEssential PoetryFavourite AudiobooksTop 50 Graphic Novels
Browns Recommends
2023 Award WinnersChildren's Laureate 2022-2024New and NoteworthyOfficial Book AwardsSchool Book AwardsTimeline of Events
Reading for Pleasure
Favourite Authors A-ZGraphic Novels & MangaNarrative Non-FictionRead Around the WorldTikTok Made Me Read ItTV and Film Adaptations
GCSE by Exam Board
AQAEdexcelIGCSEOCRWJEC / EduqasView More...
Fiction by Genre
HistoricalHumourRomanceShort StoriesThrillersView More...
Key Debates & Topics
Black Lives, Black HistoryConflicts & TerrorismDiversity MattersMaking Sense of Our WorldOur Planet in DangerRefugees & Immigration
Non-Fiction by Subject
BiographiesGeographyHistoryHobbiesSportView More...
Personal Development
Bullying AwarenessCareersFantastic FemalesManaging Exam StressMental HealthRead for Empathy 2024
Reading Support
Accelerated ReaderDual & Foreign LanguageGraded Readers (CEFR)English MasteryReluctant & Dyslexic ReadersShakespeare
Classroom Essentials
DictionariesNorthern Ireland (CCEA)Scotland ResourcesTeacher Resources/CPDWales Resources
Browns Bestsellers
Audio BooksBestselling New FictionBestselling New Non-FictionEssential PoetryTop 30 Graphic Novels - KS3Top 30 Graphic Novels - KS4
Browns Recommends
2023 Award WinnersAR Kids Reading Report '23Book BundlesNew and NoteworthyOfficial Book AwardsTimeline of Events
Reading for Pleasure
Feel Good FictionFilm and TV AdaptationsGraphic Novels & MangaMyths RetoldTikTok Made Me Read ItView More...
A-Level by Exam Board
AQAEdexcelIALOCRWJEC / EduqasView More...
Fiction by Genre
CrimeFantasyHistoricalRomantic FictionSci-FiView More...
A-Level: Wider Reading
ArtEconomicsMusicPhilosophyShakespeareView More...
Non-Fiction by Subject
BiographiesNarrative Non-FictionPopular ScienceStudent CookbooksTrue CrimeUK Politics
Student Essentials
CareersManaging Exam StressMoney MattersReady for Uni - Reading ListsStudy SkillsView More...
Key Debates & Topics
Black Lives, Black HistoryDiversity MattersFantastic FemalesMental HealthOur Planet in DangerRefugees & Immigration
Classroom Essentials
Graded Readers (CEFR)Northern Ireland (CCEA)Scotland ResourcesT LevelsTeacher Resources/CPDWales Resources
Browns Bestsellers
Best New BiographiesBestselling New FictionBestselling New Non-FictionEssential PoetryNow StreamingQuick Reads
Browns Recommends
2023 Award WinnersAcademic NewsletterDVD CollectionsNew and NoteworthyOfficial Book AwardsTimeline of Events
Reading for Pleasure
Books by Authors of ColourGraphic NovelsLGBTQ+ Fiction Now StreamingTikTok Made Me Read It View more...
Education Studies
Early Childhood StudiesEarly Years TeachingEducation StudiesPrimary TeachingSecondary TeachingSEN Teaching
Student Essentials
Academic Writing & Research Careers Cooking on a BudgetMental HealthMoney Matters View More...
Health and Medicine
Biomedical ScienceDentistryMedicineMidwiferyNursing (Adult)View More...
Key Debates & Topics
AIConflicts Equality, Inclusion, Diversity Human Migration Net Zero Politics
Law and Politics
Criminal Law European Law Family Law International Relations Law of Tort View More...
Arts and Humanities
Art & Design Drama English Language English Literature Film Studies View More...
Sciences/Engineering
BiologyChemistryEngineeringGeographyPhysicsView More...
Business
Accounting Economics Entrepreneurship ManagementMarketing View More...
Browns Recommends
2023 Award WinnersAcademic NewsletterBestselling eBooksNew and NoteworthyOfficial Book AwardsTimeline of Events
About VLeBooks
Register for VLeBooksApplication FormRequest Inspection CopiesLeave FeedbackFAQsTerms and Conditions
Further Education
Foreign Language titlesGraphic Novels & MangaLGBTQ+Mental HealthNew FictionView More...
Teacher Hub
CPDEarly Years TeachingPrimary TeachingSecondary TeachingSEN / SENDWellbeing for Teachers
FE Curriculum
A Level by SubjectCambridge A-LevelIB DiplomaNorthern Ireland (CCEA)Scotland: Highers/Adv HighersVocational Training
Primary
Favourite Authors A-ZKS1 FictionKS2 FictionMental HealthPrimary Topics View More...
Academic
BiographiesCrime FictionMyths RetoldNew FictionRomance FictionWordsworth Classics
Secondary
Favourite SeriesFiction by GenreKS3 FictionKS4 FictionReluctant & Dyslexic ReadersView More...
Academic Subjects
AccountingBritish PoliticsDentistryMarketingPsychologyView More...
Secondary Curriculum
CareersGCSE by SubjectGraded Readers (CEFR)IGCSENorthern Ireland (CCEA)Scotland: National 4/5
Browns Recommends
2023 Award WinnersBestsellersExclusive CollectionsNew eBooksVLeBooks Promotions
Saved Searches
My Saved Searches
Image for Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches

Paperback / softback 24 Jan 2019
ISBN: 9783030098339
Dewey: 004.0151
£25.19
RRP £27.99 Save 10%
Image for Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

series Theoretical Computer Science and General Issues
Paperback / softback 4 Apr 2019
ISBN: 9783030175016
Dewey: 005.12
£35.99
RRP £44.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Pro

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Pro

series Theoretical Computer Science and General Issues
Paperback / softback 12 Oct 2021
ISBN: 9783030891589
Dewey: 005.1
£47.99
RRP £59.99 Save 20%
Image for Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

series Lecture Notes in Computer Science
Paperback / softback 22 Nov 2021
ISBN: 9783030913830
Dewey: 004.151
£49.49
RRP £54.99 Save 10%
Image for Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,

series Theoretical Computer Science and General Issues
Paperback / softback 29 Oct 2020
ISBN: 9783030613617
Dewey: 005.14
£59.99
RRP £74.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–

series Lecture Notes in Computer Science
Paperback / softback 27 Oct 2020
ISBN: 9783030614669
Dewey: 005.14
£35.99
RRP £44.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, O

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, O

series Theoretical Computer Science and General Issues
Paperback / softback 27 Oct 2020
ISBN: 9783030614690
Dewey: 005.14
£35.99
RRP £44.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

series Lecture Notes in Computer Science
Paperback / softback 20 Oct 2022
ISBN: 9783031197550
Dewey: 005.1
£47.99
RRP £59.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

series Lecture Notes in Computer Science
Paperback / softback 20 Oct 2022
ISBN: 9783031197581
£47.99
RRP £59.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

series Lecture Notes in Computer Science
Paperback / softback 20 Oct 2022
ISBN: 9783031197611
Dewey: 005.1
£43.99
RRP £54.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

series Lecture Notes in Computer Science
Paperback / softback 20 Oct 2022
ISBN: 9783031198489
Dewey: 005.1
£59.99
RRP £74.99 Save 20%
Image for Bridging the gap between AI and reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, proceedings

Bridging the gap between AI and reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, proceedings

series Lecture Notes in Computer Science
Paperback / softback 14 Dec 2023
ISBN: 9783031460012
Dewey: 006.3
£47.99
RRP £59.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

series Lecture Notes in Computer Science
Paperback / softback 11 Sep 2012
ISBN: 9783642340253
Dewey: 005.12
£40.49
RRP £44.99 Save 10%
Image for Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

series Theoretical Computer Science and General Issues
Paperback / softback 11 Sep 2012
ISBN: 9783642340314
Dewey: 005.12
£40.49
RRP £44.99 Save 10%
Image for Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

series Transactions on Foundations for Mastering Change
Paperback / softback 30 Sep 2016
ISBN: 9783319465074
Dewey: 005.1
£35.99
RRP £44.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Pa

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Pa

series Lecture Notes in Computer Science
Paperback / softback 6 Oct 2016
ISBN: 9783319471655
Dewey: 005.14
£71.99
RRP £89.99 Save 20%
Image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016,

series Lecture Notes in Computer Science
Paperback / softback 6 Oct 2016
ISBN: 9783319471686
Dewey: 005.14
£40.49
RRP £44.99 Save 10%
Image for Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October

series Lecture Notes in Computer Science
Paperback / softback 5 Aug 2021
ISBN: 9783030837228
Dewey: 005.1
£35.99
RRP £44.99 Save 20%
Image for Tools and algorithms for the construction and analysis of systems: 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. : 11429

Tools and algorithms for the construction and analysis of systems: 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. : 11429

series Lncs Sublibrary. Sl 1, Theoretical Computer Science and General Issues
Ebook 3 Apr 2019
Publisher Springer
ISBN: 9783030175023
Dewey: 004.21
Licence From
£2.99
Available on VLeBooks
Image for Leveraging applications of formal methods, verification and validation.: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings : 11244

Leveraging applications of formal methods, verification and validation.: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings : 11244

series Lncs Sublibrary. Sl 1, Theoretical Computer Science and General Issues
Ebook 28 Oct 2018
Publisher Springer
ISBN: 9783030034184
Dewey: 004.0151
Licence From
£44.99
Available on VLeBooks
Image for Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

series Lecture Notes in Computer Science
Paperback / softback 30 Oct 2018
ISBN: 9783030034207
Dewey: 005.14
£44.99
Image for Leveraging applications of formal methods, verification and validation.: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings (Verification) : 11245

Leveraging applications of formal methods, verification and validation.: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings (Verification) : 11245

series Lncs Sublibrary. Sl 1, Theoretical Computer Science and General Issues
Ebook 29 Oct 2018
Publisher Springer
ISBN: 9783030034214
Dewey: 004.0151
Licence From
£44.99
Available on VLeBooks
Image for Leveraging applications of formal methods, verification and validation.: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings : 11246

Leveraging applications of formal methods, verification and validation.: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings : 11246

series Lncs Sublibrary. Sl 1, Theoretical Computer Science and General Issues
Ebook 30 Oct 2018
Publisher Springer
ISBN: 9783030034245
Dewey: 004.0151
Licence From
£44.99
Available on VLeBooks
Image for Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

series Theoretical Computer Science and General Issues
Paperback / softback 30 Oct 2018
ISBN: 9783030034269
Dewey: 005.14
£44.99
Image for Leveraging applications of formal methods, verification and validation.: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings : 11247

Leveraging applications of formal methods, verification and validation.: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings : 11247

series Lncs Sublibrary. Sl 1, Theoretical Computer Science and General Issues
Ebook 29 Oct 2018
Publisher Springer
ISBN: 9783030034276
Dewey: 004.0151
Licence From
£44.99
Available on VLeBooks
Image for Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings : 13036

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings : 13036

series Lecture Notes in Computer Science
Ebook 11 Oct 2021
ISBN: 9783030891596
Licence From
£59.99
Available on VLeBooks
Image for Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday : 13030

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday : 13030

series Lecture Notes in Computer Science
Ebook 2 Dec 2021
ISBN: 9783030913847
Licence From
£54.99
Available on VLeBooks
Image for Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

series Lecture Notes in Computer Science
Ebook 28 Oct 2020
ISBN: 9783030613624
Licence From
£74.50
Available on VLeBooks
Image for Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III : 12478

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III : 12478

series Lecture Notes in Computer Science
Ebook 26 Oct 2020
ISBN: 9783030614676
Licence From
£44.99
Available on VLeBooks
Image for Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II : 12477

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II : 12477

series Lecture Notes in Computer Science
Ebook 26 Oct 2020
ISBN: 9783030614706
Licence From
£44.99
Available on VLeBooks
Add to basket Refine Search
1
2
>
>>
Browns Books Logo Footer +44 (0) 1482 384660

Our Services

Policies

Help & Contact

Browns Books © 2014-2024 All rights reserved [rev: 1.3.51.103]